PrototypeCommune
derekelkins/agda-vim
Agda interaction in vim
- Propriétaire
- derekelkins (compte personnel)
- Étoiles
- Étoiles : 139
- Forks
- Forks : 48
- Langage
- Vim Script
- Licence
- BSD-2-Clause
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Vim Script
Tous les dépôts Vim Script- ahmetb/dotfilesÉtoiles : 139Vim ScriptPrototype
- skim-rs/skim.vimÉtoiles : 139Vim ScriptPrototype
- nyngwang/nvimgelionÉtoiles : 139Vim ScriptPrototype
- jwworth/tilÉtoiles : 139Vim ScriptPrototype