Back to trendingHow scoring works 
Momentum
stefan-hoeck/idris2-pack has 152 GitHub stars.
It currently ranks #25971 daily, #26535 weekly, #28593 monthly by momentum on Trending Repos; its best-ever rank is #5132.
Rankings
PeriodRankScore
Daily
#259710.0Weekly
#265350.0Monthly
#285930.0Engagement
Total stars
Daily new stars
Embeds
Best rank #5132