idris-lang/
A Dependently Typed Functional Programming Language
Archived by idris-lang Haskell Other licence 630 forks Created Sept 2011 View on GitHub
- Stars
- 3,478
- 52% of idris-lang's stars
- Rank
- #19,322
- of 851,984 repos, top 3%
- In Haskell
- #21
- of 2,043 repos, top 2%
Among 851,984 repos
2.5k–4k stars: 10,616 repos, including Idris-dev
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #19,312
- Next milestone
- +3,740 stars to reach the top 1%
- Popular
- One of 66,562 repos with 1k+ stars
- Yearly average
- 229 stars a year since Sept 2011