Pinned Repositories
cs431
hp-plus
HP++: A Hazard Pointers Extension for Better Applicability
smr-verification
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
coq-lsp.nvim
Neovim client for coq-lsp
coq.ctags
Universal Ctags optlib parser for Coq
init.vim
Some vim/nvim configuration. Warning: Viewer discretion is advised.
spacemacs-coq
A very simple coq layer for spacemacs
vim-rust-syntax-ext
A Vim plugin that enhances Rust syntax highlighting
vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.
zenbruh.vim
.
tomtomjhj's Repositories
tomtomjhj/coq-lsp.nvim
Neovim client for coq-lsp
tomtomjhj/vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.
tomtomjhj/coq.ctags
Universal Ctags optlib parser for Coq
tomtomjhj/init.vim
Some vim/nvim configuration. Warning: Viewer discretion is advised.
tomtomjhj/colorschemes
colorschemes for Vim
tomtomjhj/conflict-marker.vim
Weapon to fight against conflicts in Vim.
tomtomjhj/Coqtail
Interactive Coq Proofs in Vim
tomtomjhj/dots
tomtomjhj/FastFold
Speed up Vim by updating folds only when called-for.
tomtomjhj/fzf-lua
Improved fzf.vim written in lua
tomtomjhj/iris-project
tomtomjhj/kaist-cp.github.io
tomtomjhj/ltex-ls.nvim
Enhanced integration of ltex-ls for neovim
tomtomjhj/markdown-preview.nvim
markdown preview plugin for (neo)vim
tomtomjhj/mason-lspconfig.nvim
Extension to mason.nvim that makes it easier to use lspconfig with mason.nvim.
tomtomjhj/neovim
Vim-fork focused on extensibility and usability
tomtomjhj/nvim-cmp
A completion plugin for neovim coded in Lua.
tomtomjhj/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
tomtomjhj/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
tomtomjhj/pal.vim
tomtomjhj/quite.vim
tomtomjhj/rose-pine-neovim
Soho vibes for Neovim
tomtomjhj/rust-tools.nvim
Tools for better development in rust using neovim's builtin lsp
tomtomjhj/rustaceanvim
Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
tomtomjhj/vim
The official Vim repository
tomtomjhj/vim-commentary
commentary.vim: comment stuff out
tomtomjhj/vim-repeat
repeat.vim: enable repeating supported plugin maps with "."
tomtomjhj/vim-sneak
The missing motion for Vim :athletic_shoe:
tomtomjhj/vimtex
A modern Vim and neovim filetype plugin for LaTeX files.
tomtomjhj/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]