Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "numeric-execution" keyword

casmc removed
Corinthian Abstract State Machine (CASM) Compiler
1 version - Latest release: about 1 year ago - 989 downloads total - 1 stars on GitHub - 1 maintainer
casmi removed
Corinthian Abstract State Machine (CASM) Interpreter
1 version - Latest release: about 1 year ago - 985 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
application 2 casm 2 compiler 1 optimized 1 interpreter 1 symbolic-execution 1