Jaehwang Jung

coq-lsp.nvim. Neovim client for coq-lsp

vsrocq.nvim. A Neovim client for VsCoq 2 vscoqtop.

init.vim. Some vim/nvim configuration. Warning: Viewer discretion is advised.

coq.ctags. Universal Ctags optlib parser for Coq

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.

vim-rust-syntax-ext. A Vim plugin that enhances Rust syntax highlighting

spacemacs-coq. A very simple coq layer for spacemacs

zenbruh.vim. .