Back to trending
How scoring works
leanprover-community/physlib
GitHubA project to digitalise results from physics into Lean.
Momentum
leanprover-community/physlib has 835 GitHub stars. It gained +1 stars over 1 recorded day in the last 30 days (snapshots through Nov 11, 2026).
Its biggest recent day was Oct 18, 2026, with +1 stars.
It currently ranks #2552 daily, #3264 weekly, #3670 monthly by momentum on Trending Repos; its best-ever rank is #2552.
Trending Repos first recorded it on Sep 27, 2026.
Rankings
PeriodRankScore
Daily
#25522.3Weekly
#32641.4Monthly
#36701.5Engagement
Total stars
Daily new stars
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| +1 | 793 | +1 |
Embeds
Best rank #2552