PrototypeCommon
idris-hackers/IdrisWeb
A secure web framework, built in the Idris language.
- Owner
- idris-hackers (organization)
- Stars
- Stars: 109
- Forks
- Forks: 7
- Language
- TeX
- License
- MIT
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/software-foundationsStars: 459IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
Nearby in TeX
All TeX repos- WalletWasabi/WabiSabiStars: 109TeXPrototype
- DimaTrushin/LinearAlgebraStars: 109TeXPrototype
- COD1995/A-Comprehensive-Note-on-Machine-LearningStars: 109TeXPrototype
- c3e/grundgesetz-devStars: 109TeXPrototype
- vbuterin/scalability_paperStars: 109TeXPrototype
- rootkovska/state_harmfulStars: 109TeXPrototype