Back to trending
How scoring works
lean-ja/lean-by-example
GitHubコード例で学ぶ Lean 言語
Momentum
lean-ja/lean-by-example has 193 GitHub stars. It gained 0 stars over 1 recorded day in the last 7 days (snapshots through Nov 9, 2026).
It currently ranks #29627 daily, #6641 weekly, #8220 monthly by momentum on Trending Repos; its best-ever rank is #5214.
Trending Repos first recorded it on May 16, 2026.
Rankings
PeriodRankScore
Daily
#296270.0Weekly
#66410.1Monthly
#82200.1Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| 0 | 193 | 0 |
Embeds
Best rank #5214