GitHub Rankingspeople and organizations by total stars
Rank among 52,678 people
#2,401

Stephen Diehl

sdiehl, on GitHub since 2010
Total stars
12,518
Repositories counted
123
Since yesterday
▼ 5
Tier
C

Where the stars come from

write-you-a-haskell
3,488
wiwinwlh
2,667
kaleidoscope
1,039
bulletproofs
555
typechecker-zoo
465
numpile
411
117 other repositories
3,893

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#2,355#2,378#2,401 Oct 4Nov 3