Interactive theorem proving with Coq in vim.
分类 代码集成 下的插件
vim-mercenary
mercenary.vim: A mercurial wrapper so awesome, you should give it money
vim-fugitive-blame-ext
Extend tpope/vim-fugitive to show commit message on statusline in :Gblame
FileBeagle
A VINE-spired (Vim Is Not Emacs) file system explorer.
vim-prettier
A Vim plugin for Prettier
vim-vinegar
vinegar.vim: combine with nerdtree to create a delicious salad dressing
github-issues.vim
Github issue lookup in Vim
vim-perforce
Perforce integration for Vim
Makeshift
Vim plug-in for detecting your build system
vim-man
View and grep man pages in vim
cmake.vim
:hammer: CMake functionality within Vim.
pylint.vim
compiler plugin for python style checking tool
coc-eslint
Eslint extension for coc.nvim
unite-grep
grep source for unite.vim
eclim
Expose eclipse features inside of vim.
heroku.vim
heroku.vim: Heroku CLI wrapper
changesPlugin
A Vim Plugin for indicating changes as colored bars using signs.
vimcommander
Total-commander-like file manager for VIM
svnj.vim
VIM SVN plugin ( subversion svn vim7)
vc.vim
Support for SVN, Git, HG and BZR