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
casmf
Corinthian Abstract State Machine (CASM) Specification Format and Beautifier1 version - Latest release: about 1 month ago - 510 downloads total - 0 stars on GitHub - 1 maintainer
casm-tc
Corinthian Abstract State Machine (CASM) Example Application and Test Case Library1 version - Latest release: about 1 month ago - 491 downloads total - 0 stars on GitHub - 1 maintainer
casmi
Corinthian Abstract State Machine (CASM) Interpreter1 version - Latest release: about 1 month ago - 478 downloads total - 1 stars on GitHub - 1 maintainer
casmc
Corinthian Abstract State Machine (CASM) Compiler1 version - Latest release: about 1 month ago - 501 downloads total - 1 stars on GitHub - 1 maintainer
casm-be
Corinthian Abstract State Machine (CASM) Back-End (BE)1 version - Latest release: about 1 month ago - 480 downloads total - 0 stars on GitHub - 1 maintainer
casm-ir
Corinthian Abstract State Machine (CASM) Intermediate Representation (IR)1 version - Latest release: about 1 month ago - 476 downloads total - 4 stars on GitHub - 1 maintainer
casm-fe
Corinthian Abstract State Machine (CASM) Front-End (FE)1 version - Latest release: about 1 month ago - 480 downloads total - 0 stars on GitHub - 1 maintainer
casmd
Corinthian Abstract State Machine (CASM) Language Server Daemon1 version - Latest release: about 1 month ago - 476 downloads total - 0 stars on GitHub - 1 maintainer
casm-rt
Corinthian Abstract State Machine (CASM) Run-Time (RT)1 version - Latest release: 24 days ago - 467 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
library
5
application
3
passes
2
transformation
2
numeric-execution
2
daemon
1
type-inference
1
symbol-table
1
language-server-protocol
1
frontend
1
abstract-syntax-tree
1
optimization
1
intermediate-representation
1
intermediate-language
1
analysis
1
language-service
1
run-time
1
model-to-text
1
model-to-model
1
csel
1
backend
1
optimized
1
compiler
1
symbolic-execution
1
interpreter
1
test-cases
1
examples
1
benchmarks
1
formatter
1
beautifier
1