Data

Tools

Indexes

Applications

Experiments

Packages

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

model-checking

Top 7.7% on github actions
model-checking/kani-github-action v0.14.0
Run the Kani Rust Verifier on a Rust Crate
30 versions - Latest release: over 3 years ago - 15 dependent repositories - 6 stars on GitHub