Back to trending
How scoring works
theorem-labs/oss-verify-proofs
GitHubTheorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
Momentum
theorem-labs/oss-verify-proofs has 200 GitHub stars. It gained +6 stars over 2 recorded days in the last 7 days (snapshots through Nov 6, 2026).
Its biggest recent day was Nov 3, 2026, with +5 stars.
It currently ranks #48689 daily, #48558 weekly, #5494 monthly by momentum on Trending Repos; its best-ever rank is #3821.
Trending Repos first recorded it on Nov 1, 2026.
Rankings
PeriodRankScore
Daily
#486890.0Weekly
#485580.0Monthly
#54940.5Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +5 | 194 | 0 | |
| +1 | 189 | 0 |
Embeds
Best rank #3821