PrototypeCommune
idris-hackers/idris-vim
Idris mode for vim
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 221
- Forks
- Forks : 53
- Langage
- Vim Script
- Licence
- Aucune
- 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-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
D’autres dépôts Vim Script
Tous les dépôts Vim Script- othree/eregex.vimÉtoiles : 223Vim ScriptPrototype
- jdonaldson/vaxeÉtoiles : 223Vim ScriptPrototype
- kana/vim-submodeÉtoiles : 221Vim ScriptPrototype
- esamattis/slimuxÉtoiles : 220Vim ScriptPrototype
- mhinz/vim-mix-formatÉtoiles : 220Vim ScriptPrototype
- jferris/config_filesÉtoiles : 219Vim ScriptPrototype