nomeata
Joachim Breitner Joined Nov 2009 682 followers View on GitHub
- Stars
- 2,856
- across 173 public repos
- Rank
- #14,687
- of 327,333 users, top 5%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 153,729 | The Incredible Proof Machine | Haskell | 399 |
| 165,885 | arbtt, the automatic rule-based time-tracker | Haskell | 366 |
| 286,486 | Inspection Testing for Haskell | Haskell | 192 |
| 331,797 | Mathlib search tool | Lean | 161 |
| 361,511 | Let GHC prove program equations for you | Haskell | 145 |
| 387,922 | Small daemon to relay udp broadcast packages on a different subnet. | C | 133 |
| 407,745 | A magic typeclass that just does it | Haskell | 125 |
| 447,981 | C | 111 | |
| 510,417 | Hopefully verifiable code generation in GHC | Haskell | 94 |
| 585,976 | Git Performance Dashboard | Haskell | 79 |
| 636,799 | Very simple tool to display some text as large as possible | C | 71 |
| 778,432 | Lecture notes for teaching Haskell to those who want to read it | Haskell | 55 |
| 813,594 | find git commits that matter | Python | 52 |
| 838,789 | Extract the heap representation of Haskell values and thunks | Haskell | 50 |
Among 327,333 users
2.5k–4k stars: 6,820 users, including nomeata
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Haskell 1.5k stars, 53% · 9 repos
- C 315 stars, 11% · 3 repos
- Lean 161 stars, 6% · 1 repo
- Python 52 stars, 2% · 1 repo
When they were made
14 repos with 50+ stars, made between 2012 and 2023
Quick stats
- Next rank
- +1 star to reach #14,682
- Next milestone
- +7,010 stars to reach the top 1%
- Public repos
- 173, 14 with 50+ stars
- Popular repos
- 8 over 100 stars
- Top repo
- incredible, #153,729 of all repos, 14% of stars
- Smaller repos
- 823 stars from repos under 50