AlphaPeu commune
joaomilho/awesome-idris
𝛌 Awesome Idris resources
- Propriétaire
- joaomilho (compte personnel)
- Étoiles
- Étoiles : 414
- Forks
- Forks : 19
- Langage
- Idris
- Licence
- Aucune
- Création
- 2017
- Sujets
- idrisfunctional-programmingtype-driven-developmenthaskellawesomeawesome-list
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de joaomilho
Les 2 dépôts de joaomilho- joaomilho/EnterpriseÉtoiles : 1 620JavaScriptBêta
D’autres dépôts Idris
Tous les dépôts Idris- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- mmhelloworld/idris-jvmÉtoiles : 483IdrisAlpha
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- typedefs/typedefsÉtoiles : 373IdrisAlpha
- statebox/idris-ctÉtoiles : 272IdrisAlpha
- ziman/lightyearÉtoiles : 243IdrisPrototype