Back to trendingHow scoring works 
Momentum
idris-community/idris2-lsp has 200 GitHub stars.
It currently ranks #22768 daily, #23453 weekly, #25812 monthly by momentum on Trending Repos; its best-ever rank is #3879.
Trending Repos first recorded it on Jun 13, 2026.
Rankings
PeriodRankScore
Daily
#227680.0Weekly
#234530.0Monthly
#258120.0Engagement
Total stars
Daily new stars
Embeds
Best rank #3879