Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / model-checking

verify-rust-std

Verifying the Rust standard library

366Stars

83Forks

107Open issues

11Subscribers

Language distribution

Share of source bytes reported by GitHub

Rust96%

C3%

Python1%

Assembly<1%

Shell<1%

Dockerfile<1%

Julia<1%

Recent activity

Latest commits on the default branch

Update Kani Metrics (#724)github-actions[bot] · Oct 11, 2026 Sync RAPx CI Toolchain with verify-rust-std (#723)hxuhack · Oct 11, 2026 Merge subtree update for toolchain nightly-2026-09-25 (#687)github-actions[bot] · Oct 5, 2026 Check contracts with ESBMC's native CBMC goto reader (#710)lucasccordeiro · Oct 4, 2026 Update Kani Metrics (#711)github-actions[bot] · Oct 4, 2026 Update Kani Metrics (#699)github-actions[bot] · Sep 27, 2026 Strip the crate prefix from scanner names so contract metrics match again (#696)

Project details

Created May 2024 Updated Oct 2026 Other Project website

Contributors

8

github-actions[bot]103 commits

tautschnig49 commits

celinval29 commits

jaisnan26 commits

qinheping12 commits

Tianshu-Huang · Sep 27, 2026

Include alloc in the Kani metrics collected by run-kani.sh (#697)Tianshu-Huang · Sep 25, 2026

Update RAPx toolchain to nightly-2026-02-05 (#690)hxuhack · Sep 23, 2026

Forward Kani arguments to AutoHarness list commands (#674)wodex1nhaoIeng · Sep 22, 2026

thanhnguyen-aws

12 commits

feliperodri8 commits