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