Jaehwang Jung's repositories
coq-lsp.nvim
Neovim client for coq-lsp
vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.
vim-matchup
vim match-up: even better % :facepunch: navigate and highlight matching words :facepunch: modern matchit and matchparen. Supports both vim and neovim + tree-sitter.
conflict-marker.vim
Weapon to fight against conflicts in Vim.
Coqtail
Interactive Coq Proofs in Vim
editorconfig-vim
EditorConfig plugin for Vim
FastFold
Speed up Vim by updating folds only when called-for.
fern.vim
🌿 General purpose asynchronous tree viewer written in Pure Vim script
fzf-lua
Improved fzf.vim written in lua
ltex-ls.nvim
Enhanced integration of ltex-ls for neovim
markdown-preview.nvim
markdown preview plugin for (neo)vim
mason-lspconfig.nvim
Extension to mason.nvim that makes it easier to use lspconfig with mason.nvim.
neovim
Vim-fork focused on extensibility and usability
nvim-cmp
A completion plugin for neovim coded in Lua.
nvim-lspconfig
Quickstart configurations for the Nvim LSP client
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
rose-pine-neovim
Soho vibes for Neovim
rustaceanvim
Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
vim
The official Vim repository
vim-commentary
commentary.vim: comment stuff out
vim-repeat
repeat.vim: enable repeating supported plugin maps with "."
vim-sneak
The missing motion for Vim :athletic_shoe:
vimtex
A modern Vim and neovim filetype plugin for LaTeX files.
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]