GitHub Rankingspeople and organizations by total stars
Rank among 52,393 people
#34,156

Paolo Capriotti

pcapriotti, on GitHub since 2008
Total stars
1,128
Repositories counted
19
Since yesterday
▼ 15
Tier
D

Where the stars come from

optparse-applicative
958
agda-base
39
agda-categories
27
hott-exercises
23
github-trac
19
pledger
15
13 other repositories
47

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#33,725#33,941#34,156 Oct 5Nov 1