RCEpic
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Archived: this repository is read-only
- Owner
- idris-lang (organization)
- Stars
- Stars: 3,478
- Forks
- Forks: 630
- Language
- Haskell
- License
- None
- Created
- 2011
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by idris-lang
All 2 repos by idris-lang- idris-lang/Idris2Stars: 3,102IdrisRC
Nearby in Haskell
All Haskell repos- HigherOrderCO/KindStars: 3,764HaskellRC
- input-output-hk/cardano-slStars: 3,744HaskellRC
- xmonad/xmonadStars: 3,607HaskellRC
- b3nj5m1n/xdg-ninjaStars: 3,409HaskellRC
- ghc/ghcStars: 3,274HaskellRC
- SimulaVR/SimulaStars: 3,212HaskellRC