Back to trending
How scoring works
model-checking/kani
GitHubA model checker for Rust programs.
Momentum
model-checking/kani has 3,656 GitHub stars. It gained +3 stars over 1 recorded day in the last 7 days (snapshots through Nov 9, 2026).
Its biggest recent day was Nov 9, 2026, with +3 stars.
It currently ranks #23368 daily, #2632 weekly, #3040 monthly by momentum on Trending Repos; its best-ever rank is #219.
Trending Repos first recorded it on Jun 3, 2026.
Rankings
PeriodRankScore
Daily
#233680.0Weekly
#26322.3Monthly
#30402.3Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +3 | 3,656 | 0 |
Embeds
Best rank #219