Jaehwang Jung's repositories
coq-lsp.nvim
Neovim client for coq-lsp
vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.
colorschemes
colorschemes for Vim
conflict-marker.vim
Weapon to fight against conflicts in Vim.
Coqtail
Interactive Coq Proofs in Vim
FastFold
Speed up Vim by updating folds only when called-for.
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
rust-tools.nvim
Tools for better development in rust using neovim's builtin lsp
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]