GitHub Rankingspeople and organizations by total stars
Rank among 52,148 people
#8,520

Stephan Boyer

stepchowfun, on GitHub since 2011
Total stars
4,563
Repositories counted
30
Since yesterday
▲ 1
Tier
D

Where the stars come from

toast
1,633
typical
767
docuum
714
proofs
315
theorem-prover
244
tagref
242
24 other repositories
648

Rank over time

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