PrototypeCommune
idris-hackers/IdrisWeb
A secure web framework, built in the Idris language.
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 109
- Forks
- Forks : 7
- Langage
- TeX
- Licence
- MIT
- 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 : 459IdrisAlpha
- 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
D’autres dépôts TeX
Tous les dépôts TeX- WalletWasabi/WabiSabiÉtoiles : 109TeXPrototype
- DimaTrushin/LinearAlgebraÉtoiles : 109TeXPrototype
- COD1995/A-Comprehensive-Note-on-Machine-LearningÉtoiles : 109TeXPrototype
- c3e/grundgesetz-devÉtoiles : 109TeXPrototype
- vbuterin/scalability_paperÉtoiles : 109TeXPrototype
- rootkovska/state_harmfulÉtoiles : 109TeXPrototype