Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "casm" keyword
casm-tc
Corinthian Abstract State Machine (CASM) Example Application and Test Case Library1 version - Latest release: 5 days ago - 443 downloads total - 0 stars on GitHub - 1 maintainer
casmf
Corinthian Abstract State Machine (CASM) Specification Format and Beautifier1 version - Latest release: 5 days ago - 456 downloads total - 0 stars on GitHub - 1 maintainer
casmc
Corinthian Abstract State Machine (CASM) Compiler1 version - Latest release: 7 days ago - 455 downloads total - 1 stars on GitHub - 1 maintainer
casmi
Corinthian Abstract State Machine (CASM) Interpreter1 version - Latest release: 7 days ago - 431 downloads total - 1 stars on GitHub - 1 maintainer
casm-ir
Corinthian Abstract State Machine (CASM) Intermediate Representation (IR)1 version - Latest release: 7 days ago - 431 downloads total - 4 stars on GitHub - 1 maintainer
casm-be
Corinthian Abstract State Machine (CASM) Back-End (BE)1 version - Latest release: 7 days ago - 434 downloads total - 0 stars on GitHub - 1 maintainer
casm-fe
Corinthian Abstract State Machine (CASM) Front-End (FE)1 version - Latest release: 7 days ago - 435 downloads total - 0 stars on GitHub - 1 maintainer
casmd
Corinthian Abstract State Machine (CASM) Language Server Daemon1 version - Latest release: 8 days ago - 431 downloads total - 0 stars on GitHub - 1 maintainer
casm
Corinthian Abstract State Machine (CASM) Project1 version - Latest release: 24 days ago - 393 downloads total - 7 stars on GitHub - 1 maintainer
sealang
Corinthian Abstract State Machine (CASM) Project1 version - Latest release: 24 days ago - 279 downloads total - 7 stars on GitHub - 1 maintainer
casm-rt
Corinthian Abstract State Machine (CASM) Run-Time (RT)1 version - Latest release: 24 days ago - 411 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
library
5
application
3
specification
2
project-management
2
project
2
issue-tracker
2
documentation
2
numeric-execution
2
transformation
2
passes
2
model-to-model
1
model-to-text
1
abstract-syntax-tree
1
frontend
1
symbol-table
1
type-inference
1
daemon
1
language-server-protocol
1
language-service
1
run-time
1
csel
1
backend
1
optimization
1
intermediate-representation
1
intermediate-language
1
analysis
1
symbolic-execution
1
interpreter
1
optimized
1
compiler
1
formatter
1
beautifier
1
test-cases
1
examples
1
benchmarks
1