AlphaPeu commune
idris-hackers/software-foundations
Software Foundations in Idris
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 459
- Forks
- Forks : 36
- Langage
- Idris
- Licence
- MIT
- Création
- 2016
- Sujets
- idristheorem-provingbookcomputer-science
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de idris-hackers
Les 8 dépôts de idris-hackers- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- 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- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- mmhelloworld/idris-jvmÉtoiles : 482IdrisAlpha
- joaomilho/awesome-idrisÉtoiles : 414IdrisAlpha
- typedefs/typedefsÉtoiles : 373IdrisAlpha
- statebox/idris-ctÉtoiles : 272IdrisAlpha