Dépôts Idris
25 dépôts Idris au catalogue, du plus étoilé au moins étoilé.
- idris-lang/Idris2Étoiles : 3 102IdrisRC
- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- mmhelloworld/idris-jvmÉtoiles : 482IdrisAlpha
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- joaomilho/awesome-idrisÉtoiles : 414IdrisAlpha
- typedefs/typedefsÉtoiles : 373IdrisAlpha
- statebox/idris-ctÉtoiles : 272IdrisAlpha
- ziman/lightyearÉtoiles : 243IdrisPrototype
- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
- puffnfresh/iridiumÉtoiles : 209IdrisPrototype
- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- channable/dbcriticÉtoiles : 180IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype
- stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
- christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
- andorp/order-takingÉtoiles : 146IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- joom/hezarfenÉtoiles : 119IdrisPrototype
- edwinb/SPLV20Étoiles : 116IdrisPrototype
- gallais/idris-tparsecÉtoiles : 100IdrisPrototype