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/kani-github-action

Run the Kani Rust Verifier on a Rust Crate

Ecosystem
github actions
Latest Release
v0.14.0
over 3 years ago
Versions
30
Dependent Repos
15
    Loading...
    Readme
    Loading...
    Links
    Registry github actions
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:githubactions/model-checking/kani-github-action
    spec
    License Apache-2.0
    Namespace model-checking
    First Release over 3 years ago
    Last Synced 15 days ago
    Repository
    Stars 6 on GitHub
    Forks 14 on GitHub
    Docker Dependents 1
    Docker Downloads 40,007
    Commits 18
    Committers 10
    Avg per Author 1.8
    DDS 0.778
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on github actions
    Overall Top 7.7%
    Forks Top 4.7%