GitHub repos by idris-hackers
8 public repos by idris-hackers in the catalog, most starred first.
- idris-hackers/software-foundationsStars: 460IdrisAlpha
- 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
- idris-hackers/IdrisWebStars: 109TeXPrototype
- idris-hackers/atom-language-idrisStars: 100TypeScriptPrototype