isovector
Sandy Maguire Joined Jun 2010 1,324 followers View on GitHub
- Stars
- 2,201
- across 168 public repos
- Rank
- #19,454
- of 327,332 users, top 6%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 126,534 | 📖 source material for Thinking with Types | Haskell | 497 |
| 313,896 | Source material for Algebra-Driven Design | Haskell | 172 |
| 597,723 | a GHC.Generics-based entity component system | Haskell | 77 |
| 616,544 | tools for writing better type errors | Haskell | 74 |
| 623,105 | an applicative functor that seamlessly talks to HTML inputs | Haskell | 73 |
| 666,916 | 🖼️ the compiling to closed categories compiler | Haskell | 67 |
| 666,916 | type level sets | Haskell | 67 |
| 801,367 | Source material for Certainty by Construction | TeX | 53 |
| 826,026 | it's a starcraft clone but with a dope typesystem | Haskell | 51 |
Among 327,332 users
1.6k–2.5k stars: 9,988 users, including isovector
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.1k stars, 49% · 8 repos
- TeX 53 stars, 2% · 1 repo
When they were made
9 repos with 50+ stars, made between 2017 and 2022
101001k ecstasyalgebra-driven-designthinking-with-types
Quick stats
- Next rank
- +1 star to reach #19,445
- Next milestone
- +7,665 stars to reach the top 1%
- Public repos
- 168, 9 with 50+ stars
- Popular repos
- 2 over 100 stars
- Top repo
- thinking-with-types, #126,534 of all repos, 23% of stars
- Smaller repos
- 1,070 stars from repos under 50