Back to trending
How scoring works
rocq-prover/vsrocq
GitHubVisual Studio Code extension for Rocq
Momentum
rocq-prover/vsrocq has 465 GitHub stars. It gained 0 stars over 1 recorded day in the last 7 days and +1 over 4 recorded days in the last 30 days (snapshots through Nov 9, 2026).
Its biggest recent day was Oct 28, 2026, with +1 stars.
It currently ranks #19067 daily, #6507 weekly, #8025 monthly by momentum on Trending Repos; its best-ever rank is #2423.
Trending Repos first recorded it on May 22, 2026.
Rankings
PeriodRankScore
Daily
#190670.0Weekly
#65070.1Monthly
#80250.1Engagement
Total stars
Daily new stars
| Date |
|---|
Embeds
Best rank #2423