jameshaydon
James Haydon Joined Mar 2011 145 followers View on GitHub
- Stars
- 487
- across 31 public repos
- Rank
- #80,894
- of 327,332 users, top 25%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 191,316 | A categorical programming language with effects | Haskell | 311 |
| 699,638 | A code-generator for Idris that targets Elixir | Haskell | 63 |
Among 327,332 users
400–630 stars: 31,258 users, including jameshaydon
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 374 stars, 77% · 2 repos
When they were made
2 repos with 50+ stars, made between 2017 and 2020
101001k idris-elixirlawvere
Quick stats
- Next rank
- +1 star to reach #80,731
- Next milestone
- +133 stars to reach the top 20%
- Public repos
- 31, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- lawvere, #191,316 of all repos, 64% of stars
- Smaller repos
- 113 stars from repos under 50