Back to trending
How scoring works
lean-dojo/TorchLean
GitHubTorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
Momentum
lean-dojo/TorchLean has 187 GitHub stars. It gained +5 stars over 1 recorded day in the last 7 days (snapshots through Oct 28, 2026).
Its biggest recent day was Oct 28, 2026, with +5 stars.
It currently ranks #42945 daily, #42990 weekly, #43675 monthly by momentum on Trending Repos; its best-ever rank is #6685.
Trending Repos first recorded it on Oct 5, 2026.
Rankings
PeriodRankScore
Daily
#429450.0Weekly
#429900.0Monthly
#436750.0Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +5 | 187 | 0 |
Embeds
Best rank #6685