GitHub Rankingspeople and organizations by total stars
Rank among 26,736 organizations
#13,754

ucsd-progsys

ucsd-progsys, on GitHub since 2012, organization
Total stars
2,027
Repositories counted
44
Since yesterday
▼ 4
Tier
D

Where the stars come from

liquidhaskell
1,340
elsa
194
liquid-fixpoint
168
liquidhaskell-tutorial
82
mist
50
230-wi19-web
28
38 other repositories
165

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#12,690#13,222#13,754 Oct 4Nov 6