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