PrototypeCommon
christian-public/Idris2-Erlang
Erlang code generator for Idris 2
- Owner
- christian-public (personal account)
- Stars
- Stars: 149
- Forks
- Forks: 6
- Language
- Idris
- License
- None
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Idris
All Idris repos- timjb/quantitiesStars: 164IdrisPrototype
- edwinb/TypeDD-SamplesStars: 163IdrisPrototype
- stefan-hoeck/idris2-packStars: 163IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype
- KesterTong/idris2048Stars: 124IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype