HigherOrderCO
HigherOrderCO Joined Oct 2021 View on GitHub
- Stars
- 15,574
- across 7 public repos
- Rank
- #2,467
- of 94,823 organizations, top 3%
- Down 116 places this week
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 4,891 | HVM1 (2022): a massively parallel, optimal functional runtime in Rust | Cuda | 11,360 |
| 17,723 | A modern proof language | Haskell | 3,765 |
| 194,458 | HVM3 | Haskell | 304 |
| 403,580 | C | 126 |
Among 94,823 organizations
10k–16k stars: 1,460 organizations, including HigherOrderCO
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
- Cuda 11.4k stars, 73% · 1 repo
- Haskell 4.1k stars, 26% · 2 repos
- C 126 stars, 1% · 1 repo
When they were made
4 repos with 50+ stars, made between 2018 and 2025
1001k10k100k HVM3KindHVM1
Quick stats
- Next rank
- +3 stars to reach #2,466
- Next milestone
- +19,425 stars to reach the top 1%
- Public repos
- 7, 4 with 50+ stars
- Popular repos
- 2 over 1k stars, 1 over 10k stars
- Top repo
- HVM1, #4,891 of all repos, 73% of stars
- Smaller repos
- 19 stars from repos under 50