Back to trending
How scoring works 
Momentum
digama0/lean4lean has 200 GitHub stars.
It currently ranks #29832 daily, #30260 weekly, #31969 monthly by momentum on Trending Repos; its best-ever rank is #1358.
Trending Repos first recorded it on May 16, 2026.
Rankings
PeriodRankScore
Daily
#298320.0Weekly
#302600.0Monthly
#319690.0Engagement
Total stars
Daily new stars
Embeds
Best rank #1358