GitHub Rankingspeople and organizations by total stars
Rank among 52,907 people
#26,141

John Tromp

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

Where the stars come from

cuckoo
865
AIT
215
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,916#26,141 Oct 5Nov 11