GitHub Rankingspeople and organizations by total stars
Rank among 52,137 people
#12,888

Andrej Bauer

andrejbauer, on GitHub since 2011
Total stars
3,160
Repositories counted
48
Since yesterday
▲ 2
Tier
D

Where the stars come from

plzoo
1,597
homotopy-type-theory-course
314
spartan-type-theory
277
marshall
128
coop
95
Homotopy
90
42 other repositories
659

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#12,330#12,610#12,890 Oct 4Oct 24