nvim-treesitter / nvim-treesitter

Nvim Treesitter configurations and abstraction layer

nvim-treesitter / nvim-treesitter-context

Show code context

wadackel / vim-dogrun

:dog: A dark Neovim / Vim colorscheme for the GUI and 256 / true-color terminals.

Julian / lean.nvim

Neovim support for the Lean theorem prover