GitHub Rankingspeople and organizations by total stars
Rank among 52,410 people
#25,982

John Tromp

tromp, on GitHub since 2012
Total stars
1,574
Repositories counted
9
Since yesterday
▼ 5
Tier
D

Where the stars come from

cuckoo
865
AIT
213
ChessPositionRanking
183
equihash
156
golegal
104
tromp.github.io
29
3 other repositories
24

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#25,691#25,837#25,982 Oct 5Oct 29