PrototypeCommon
derekelkins/agda-vim
Agda interaction in vim
- Owner
- derekelkins (personal account)
- Stars
- Stars: 139
- Forks
- Forks: 48
- Language
- Vim Script
- License
- BSD-2-Clause
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Vim Script
All Vim Script repos- ahmetb/dotfilesStars: 139Vim ScriptPrototype
- skim-rs/skim.vimStars: 139Vim ScriptPrototype
- nyngwang/nvimgelionStars: 139Vim ScriptPrototype
- jwworth/tilStars: 139Vim ScriptPrototype