GitHub Rankingspeople and organizations by total stars
Rank among 52,675 people
#12,955

Andrej Bauer

andrejbauer, on GitHub since 2011
Total stars
3,165
Repositories counted
48
Since yesterday
▼ 6
Tier
D

Where the stars come from

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

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#12,330#12,643#12,955 Oct 4Nov 5