PrototypeCommon
idris-hackers/idris-demos
Collection of Idris tests and demonstration programs
- Owner
- idris-hackers (organization)
- Stars
- Stars: 195
- Forks
- Forks: 13
- Language
- Idris
- License
- None
- 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: 460IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Idris
All Idris repos- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype