ucsd-progsys
ucsd-progsys Joined Sept 2012 View on GitHub
- Stars
- 2,029
- across 44 public repos
- Rank
- #14,124
- of 95,325 organizations, top 15%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 51,058 | Liquid Types For Haskell | Haskell | 1,341 |
| 284,046 | Elsa is a lambda calculus evaluator | Haskell | 194 |
| 318,676 | Horn Clause Constraint Solving for Liquid Types | Haskell | 169 |
| 568,732 | Tutorial for LiquidHaskell | JavaScript | 82 |
| 838,789 | A tiny language for teaching and experimenting with Refinement Types | Haskell | 50 |
Among 95,325 organizations
1.6k–2.5k stars: 4,569 organizations, including ucsd-progsys
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- Haskell 1.8k stars, 86% · 4 repos
- JavaScript 82 stars, 4% · 1 repo
When they were made
5 repos with 50+ stars, made between 2012 and 2018
101001k10k liquid-fixpointelsaliquidhaskell
Quick stats
- Next rank
- +1 star to reach #14,120
- Next milestone
- +1,395 stars to reach the top 10%
- Public repos
- 44, 5 with 50+ stars
- Popular repos
- 3 over 100 stars, 1 over 1k stars
- Top repo
- liquidhaskell, #51,058 of all repos, 66% of stars
- Smaller repos
- 193 stars from repos under 50