A Low Barrier Proof Assistant
philzook58/knuckledragger has 181 GitHub stars. It gained 0 stars over 2 recorded days in the last 7 days (snapshots through Nov 10, 2026).
It currently ranks #5908 daily, #7312 weekly, #11089 monthly by momentum on Trending Repos; its best-ever rank is #5128.
Trending Repos first recorded it on Nov 8, 2026.
| Date | Stars gained | Total stars | Forks gained |
|---|---|---|---|
| 0 | 181 | 0 | |
| 0 | 181 | 0 |