StarDayOpen source rankings
Back to rankings

model-checking / kani

A model checker for Rust programs.

Repository stars
3,647All-time #17,000
Fork
194
Last push
updated 2 days ago
Repository created
since 2021
Apps & systemsGeneralRustApache-2.0 · Permissive
View source

About

Summarised by AI from the README; the original prevails

Author description: A model checker for Rust programs.

Basic listing based on official public information; functionality has not been independently evaluated.

Platform
Not verified
Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
Maintenance notes
Not verified
# model-checking# rust# verification

Star trend

3,6333,6343,63411-03 · 3,63310-0710-1210-1710-2210-2711-0111-05
Raw observations · 2
Historical observations
Measured atRepository starsSource
2026-11-06 11:45 UTC3,647Source
2026-11-03 09:40 UTC3,633Source

First collected 2026-11-03Measured at 2026-11-06 11:45 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository stars, not unique users or individual-skill installs · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.