sweirich
Stephanie Weirich Joined Aug 2012 841 followers View on GitHub
- Stars
- 1,660
- across 21 public repos
- Rank
- #26,011
- of 327,333 users, top 8%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 101,748 | A demo implementation of a simple dependently-typed language | Haskell | 632 |
| 192,379 | Examples of Dependently-typed programs in Haskell | Haskell | 309 |
| 351,654 | An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) | Haskell | 150 |
| 402,491 | Benchmarks for capture-avoiding substitution | HTML | 127 |
| 415,631 | Strongly-typed System F in Haskell | Haskell | 122 |
| 691,234 | A Specification for Dependent Types in Haskell (Core) | Coq | 64 |
Among 327,333 users
1.6k–2.5k stars: 9,985 users, including sweirich
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Haskell 1.2k stars, 73% · 4 repos
- HTML 127 stars, 8% · 1 repo
- Coq 64 stars, 4% · 1 repo
When they were made
6 repos with 50+ stars, made between 2013 and 2021
101001k taldthpi-forall
Quick stats
- Next rank
- +1 star to reach #26,000
- Next milestone
- +8,206 stars to reach the top 1%
- Public repos
- 21, 6 with 50+ stars
- Popular repos
- 5 over 100 stars
- Top repo
- pi-forall, #101,748 of all repos, 38% of stars
- Smaller repos
- 256 stars from repos under 50