PrototypeCommon
bamboo/idris-cil
A Common Intermediate Language backend for Idris 1
- Owner
- bamboo (personal account)
- Stars
- Stars: 133
- Forks
- Forks: 11
- Language
- Haskell
- License
- None
- Created
- 2015
- Topics
- idrislanguage-backend
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- owickstrom/idris-vimscriptStars: 133HaskellPrototype
- NorfairKing/sydtestStars: 133HaskellPrototype
- msp-strath/TypOSStars: 133HaskellPrototype
- hdbc/hdbcStars: 133HaskellPrototype
- ghcjs/jsaddleStars: 133HaskellPrototype
- hspec/HUnitStars: 133HaskellPrototype