Idris GitHub repos
25 Idris repos in the catalog, most starred first.
- idris-lang/Idris2Stars: 3,102IdrisRC
- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- mmhelloworld/idris-jvmStars: 482IdrisAlpha
- idris-hackers/software-foundationsStars: 459IdrisAlpha
- joaomilho/awesome-idrisStars: 414IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha
- statebox/idris-ctStars: 272IdrisAlpha
- ziman/lightyearStars: 243IdrisPrototype
- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype
- stefan-hoeck/idris2-packStars: 163IdrisPrototype
- edwinb/TypeDD-SamplesStars: 162IdrisPrototype
- christian-public/Idris2-ErlangStars: 149IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype
- KesterTong/idris2048Stars: 124IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- joom/hezarfenStars: 119IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype
- gallais/idris-tparsecStars: 100IdrisPrototype