Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / model-checking / kani

Kani Rust Verifier

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/model-checking%2Fkani

Stars: 1,886
Forks: 77
Open Issues: 535

License: apache-2.0
Language: Rust
Repo Size: 29.3 MB
Dependencies: 162

Created: about 3 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Commit Stats

Commits: 1057
Authors: 38
Mean commits per author: 27.82
Development Distribution Score: 0.763
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/model-checking/kani

Topics: model-checking, rust, verification

Files
    Loading...
    Readme
    Loading...
    Dependencies
    tools/make-kani-release/Cargo.toml cargo
    Cargo.toml cargo
    cprover_bindings/Cargo.toml cargo
    docs/src/tutorial/arbitrary-variables/Cargo.toml cargo
    kani-compiler/Cargo.toml cargo
    kani-compiler/kani_queries/Cargo.toml cargo
    kani-driver/Cargo.toml cargo
    kani_metadata/Cargo.toml cargo
    tests/cargo-kani/cbmc-unknown-lang-mode/Cargo.toml cargo
    tests/cargo-kani/dependencies/Cargo.toml cargo
    tests/cargo-kani/percent-encoding/Cargo.toml cargo
    tests/cargo-kani/small-vec/Cargo.toml cargo
    tools/bookrunner/Cargo.toml cargo
    tools/bookrunner/librustdoc/Cargo.toml cargo
    tools/compiletest/Cargo.toml cargo
    Cargo.lock cargo