Lean Theorem Prover plugin for Vim.
分类 用户提交 下的插件
vim-latex
Unofficial git mirror of the Vim-LaTeX Suite.
vim-pine-script
Vim support to edit TradingView's Pine Script files
vim-powerline
The ultimate vim statusline utility.
vim-qt
Collection of utilities to edit Qt code (QML, c++, ui, etc...)
vim-railscasts-color-theme
A Railscasts color theme that works in 256 color terminals as well as gui
vim-matchit
Extended % matching for HTML, LaTeX, and many other languages
vim-miniml
A simple vim colorscheme
vim-rzip
Extends zip.vim to browse and write nested zip files
vim-proto
Protobuf syntax highlighting bundled for Vim
vim-ruby
Vim/Ruby Configuration Files
vim-tabline
Tabline customization
vim-stratifiedjs
vim support for sjs
vim-vlack
Slack client for Vim
vimerl
A set of erlang plugins for VIM
SpellChecker
Spell check text including LaTeX documents
systemverilog.vim
SystemVerilog syntax highlighting
rcsvers.vim
Use RCS to keep a backup version whenever you save a file
ttcn-syntax
TTCN-3 syntax highlighting file
Visual Studio
A color scheme that tries to imitate Visual Studio 2010.