GitHub Rankingspeople and organizations by total stars
Rank among 52,678 people
#44,317

Adam Chlipala

achlipala, on GitHub since 2012
Total stars
768
Repositories counted
6
Since yesterday
▼ 8
Tier
D

Where the stars come from

frap
737
frapapp
20
upo_mit
4
L08-abstract-datatypes2
3
L07-abstract-datatypes1
2
testpg
2

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#43,823#44,070#44,317 Oct 5Nov 5