Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
Repository Index
47,133 repositories indexed
361–384 of 1,478 · Most stars
🦥 Supercharge your Haskell experience in neovim!
A simple wrapper around :mksession.
- neovim
- telescope
- sessions
- projects
:smiley: Emoji in Vim
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
vim syntax for LESS (dynamic CSS)
Use vim and godot engine to make games
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 fog descends upon your editor ☁ dark color scheme inspired by the woods for vim and neovim
- color-scheme
- colorscheme
- fog
- forest
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
Elm plugin for Vim
Go language server extension using gopls for coc.nvim.
SQLite LuaJIT binding with a very simple api.
Location and syntax aware text objects which *do what you mean*
Highlight arguments' definitions and usages, using Treesitter
CMake integration in Neovim
A MySQL engine written in pure PHP
A NeoVim config for THE ULTIMATE vim IDE-like experience.
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)