ms-jpq / coq_nvim

Related projects ⓘ

Alternatives and complementary repositories for coq_nvim

• hrsh7th / nvim-cmp
  A completion plugin for neovim coded in Lua.
  ☆8,058Updated last week
• williamboman / mason.nvim
  Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and fo…
  ☆7,876Updated 3 months ago
• folke / which-key.nvim
  💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you …
  ☆5,397Updated this week
• folke / trouble.nvim
  🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing…
  ☆5,579Updated this week
• nanotee / nvim-lua-guide
  A guide to using Lua in Neovim
  ☆5,835Updated last year
• neovim / nvim-lspconfig
  Quickstart configs for Nvim LSP
  ☆10,704Updated this week
• nvim-tree / nvim-tree.lua
  A file explorer tree for neovim written in lua
  ☆7,224Updated this week
• nvim-lualine / lualine.nvim
  A blazing fast and easy to configure neovim statusline plugin written in pure lua.
  ☆6,190Updated this week
• nvimdev / lspsaga.nvim
  improve neovim lsp experience
  ☆3,475Updated 3 weeks ago
• mfussenegger / nvim-dap
  Debug Adapter Protocol client implementation for Neovim
  ☆5,585Updated this week
• echasnovski / mini.nvim
  Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort
  ☆5,238Updated this week
• jose-elias-alvarez / null-ls.nvim
  Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
  ☆3,639Updated last year
• nvim-treesitter / nvim-treesitter
  Nvim Treesitter configurations and abstraction layer
  ☆10,785Updated this week
• lewis6991 / gitsigns.nvim
  Git integration for buffers
  ☆5,126Updated this week
• wbthomason / packer.nvim
  A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expres…
  ☆7,886Updated 8 months ago
• ms-jpq / chadtree
  File manager for Neovim. Better than NERDTree.
  ☆1,656Updated this week
• ThePrimeagen / refactoring.nvim
  The Refactoring library based off the Refactoring book by Martin Fowler
  ☆2,882Updated last week
• NeogitOrg / neogit
  An interactive and powerful Git interface for Neovim, inspired by Magit
  ☆4,036Updated this week
• folke / noice.nvim
  💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.
  ☆4,423Updated this week
• sindrets / diffview.nvim
  Single tabpage interface for easily cycling through diffs for all modified files for any git rev.
  ☆4,019Updated 3 months ago
• nvim-orgmode / orgmode
  Orgmode clone written in Lua for Neovim 0.9+.
  ☆3,066Updated this week
• lukas-reineke / indent-blankline.nvim
  Indent guides for Neovim
  ☆4,229Updated last week
• nvim-telescope / telescope.nvim
  Find, Filter, Preview, Pick. All lua, all the time.
  ☆15,940Updated last week
• akinsho / toggleterm.nvim
  A neovim lua plugin to help easily manage multiple terminal windows
  ☆4,390Updated last week
• nvim-neo-tree / neo-tree.nvim
  Neovim plugin to manage the file system and other tree like structures.
  ☆3,848Updated last month
• nvim-neorg / neorg
  Modernity meets insane extensibility. The future of organizing your life in Neovim.
  ☆6,462Updated last week
• ggandor / leap.nvim
  Neovim's answer to the mouse 🦘
  ☆4,381Updated 3 months ago
• hadronized / hop.nvim
  Neovim motions on speed!
  ☆2,481Updated last year
• akinsho / bufferline.nvim
  A snazzy bufferline for Neovim
  ☆3,518Updated 2 weeks ago
• VonHeikemen / lsp-zero.nvim
  A starting point to setup some lsp related features in neovim.
  ☆3,842Updated 3 weeks ago