PrototypeCommune
idris-hackers/idris-demos
Collection of Idris tests and demonstration programs
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 195
- Forks
- Forks : 13
- Langage
- Idris
- Licence
- Aucune
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de idris-hackers
Les 8 dépôts de idris-hackers- idris-hackers/software-foundationsÉtoiles : 460IdrisAlpha
- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
D’autres dépôts Idris
Tous les dépôts Idris- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
- puffnfresh/iridiumÉtoiles : 209IdrisPrototype
- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- channable/dbcriticÉtoiles : 180IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype