PrototypeCommon
idris-hackers/idris-vim
Idris mode for vim
- Owner
- idris-hackers (organization)
- Stars
- Stars: 221
- Forks
- Forks: 53
- Language
- Vim Script
- 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: 459IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Vim Script
All Vim Script repos- othree/eregex.vimStars: 223Vim ScriptPrototype
- jdonaldson/vaxeStars: 223Vim ScriptPrototype
- kana/vim-submodeStars: 221Vim ScriptPrototype
- esamattis/slimuxStars: 220Vim ScriptPrototype
- mhinz/vim-mix-formatStars: 220Vim ScriptPrototype
- jferris/config_filesStars: 219Vim ScriptPrototype