idris-lang/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
HaskellNOASSERTION
Stargazers
- anodium
- artob@HaltiaAI
- brezal
- ChobbesPhiladelphia
- cnd
- droidkitaJapan
- equalunique
- espeed@bitwav
- GrahamCampbellGraham Campbell Technology Ltd
- igravesKansas City-ish
- jkominekBoulder, CO
- jmitchellSeattle
- juanbono@lambdaclass
- lassik
- LeifW@thatDot
- leostera@AbstractMachinesLab
- loyalt
- maljub01@openai
- markfarrellCanada
- matteocng
- mattias-lundell@opper-ai
- overloggedMicrosoft
- plumenatorSingapore
- reiner-dolp
- SalazarEspitiaSan Francisco
- sdiehlLondon
- soimortHome, Earth
- srenatus@StyraInc @open-policy-agent
- thautwarm
- tiberiualexForm3
- tj800xAlexandria, VA
- vollmermUniversity of Kent
- willdathrill
- xekoukou
- yfyfVilnius
- yurrriq@sportradar