GitHub Rankingspeople and organizations by total stars
Rank among 52,675 people
#11,917

daniel gratzer

jozefg, on GitHub since 2011
Total stars
3,422
Repositories counted
52
Since yesterday
▲ 9
Tier
D

Where the stars come from

learn-tt
2,512
higher-order-unification
198
nbe-for-mltt
138
pcf
126
blott
123
hm
80
46 other repositories
245

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#11,418#11,672#11,926 Oct 4Nov 5