Back to trendingHow scoring works
Momentum
mmhelloworld/idris-jvm has 483 GitHub stars. It gained 0 stars over 1 recorded day in the last 7 days (snapshots through Jun 28, 2026).
It currently ranks #13159 daily, #14156 weekly, #17486 monthly by momentum on Trending Repos; its best-ever rank is #3997.
Trending Repos first recorded it on Jun 9, 2026.
Rankings
PeriodRankScore
Daily
#131590.0Weekly
#141560.0Monthly
#174860.0Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| 0 | 483 | 0 |
Embeds
Best rank #3997