GitHub Rankingspeople and organizations by total stars
Rank among 52,141 people
#11,864

daniel gratzer

jozefg, on GitHub since 2011
Total stars
3,416
Repositories counted
52
Since yesterday
▼ 3
Tier
D

Where the stars come from

learn-tt
2,508
higher-order-unification
197
nbe-for-mltt
138
pcf
126
blott
123
hm
80
46 other repositories
244

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#11,418#11,641#11,864 Oct 4Oct 23