idris-lang
idris-lang Joined Sept 2013 View on GitHub
- Stars
- 6,745
- across 5 public repos
- Rank
- #5,476
- of 95,325 organizations, top 6%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 19,322 | A Dependently Typed Functional Programming Language | Haskell | 3,478 |
| 21,727 | A purely functional programming language with first class types | Idris | 3,111 |
| 498,091 | A tutorial to the Idris Programming Language. | TeX | 97 |
| 813,594 | An empty code generator, to be used as a starting point for any new back ends. | Haskell | 52 |
Among 95,325 organizations
6.3k–10k stars: 1,989 organizations, including idris-lang
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
- Haskell 3.5k stars, 52% · 2 repos
- Idris 3.1k stars, 46% · 1 repo
- TeX 97 stars, 1% · 1 repo
When they were made
4 repos with 50+ stars, made between 2011 and 2020
101001k10k idris-tutorialIdris2Idris-dev
Quick stats
- Next rank
- +2 stars to reach #5,475
- Next milestone
- +28,290 stars to reach the top 1%
- Public repos
- 5, 4 with 50+ stars
- Popular repos
- 2 over 100 stars, 2 over 1k stars
- Top repo
- Idris-dev, #19,322 of all repos, 52% of stars
- Smaller repos
- 7 stars from repos under 50