GitHub Rankingspeople and organizations by total stars
Rank among 52,896 people
#34,425

Paolo Capriotti

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

Where the stars come from

optparse-applicative
957
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#34,075#34,425 Oct 5Nov 13