GitHub Rankingspeople and organizations by total stars
Rank among 52,676 people
#8,588

Stephan Boyer

stepchowfun, on GitHub since 2011
Total stars
4,572
Repositories counted
30
Since yesterday
▼ 8
Tier
D

Where the stars come from

toast
1,635
typical
767
docuum
715
proofs
316
theorem-prover
244
tagref
242
24 other repositories
653

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#8,363#8,478#8,593 Oct 4Nov 5