Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
Repository Index
47,133 repositories indexed
169–192 of 918 · Most stars
🦥 Supercharge your Haskell experience in neovim!
Status column plugin that provides a configurable 'statuscolumn' and click handlers.
CompetiTest.nvim is a Neovim plugin for Competitive Programming: it can manage and check testcases, download problems and contests from online judges and much more
Delicious diagnostic debugging in Neovim 🤤
Most Beautifully crafted color tools for Neovim
- colorpicker
- lua
- neovim
- neovim-plugin
✍️ All the npm/yarn/pnpm commands I don't want to type
a delightful and customizable mostly monochrome colorscheme thats soft on the eyes and supports treesitter, lsp, and heaps of neovim plugins.
- alacritty-theme
- colorscheme
- eza
- fish-theme
A treesitter supported autopairing plugin with extensions, and much more
- autopair
- nvim-lua
- nvim-plugin
- lua
Automagical editing and creation of snippets.
- nvim-plugin
- snippets
- snippets-manager
- neovim-plugin
Highlight arguments' definitions and usages, using Treesitter
CMake integration in Neovim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
Debug adapter for Neovim plugins
Mouse gesture plugin for neovim
- neovim
- mouse-gestures
- neovim-plugin
💾 Simple session management for Neovim with git branching, autoloading and Telescope support
- neovim
- session
- neovim-plugin
- neovim-session
Easily create previewable commands in Neovim.
Fold with relentless elegance. A collection of quality-of-life features related to folding.
- folding
- nvim-plugin
- neovim-plugin
Quarto mode for Neovim
Garbage collector that stops inactive LSP clients to free RAM
- nvim-lsp
- nvim-plugin
- nvim-plugins
- language-server-protocol
Debugging in NeoVim the print() way!
Neovim commenting plugin, written in lua.
Rearrange your windows with ease.
Lightweight, fast and async formatting and linting plugin for Neovim