Alternatives and similar repositories for coq_nvim

Users that are interested in coq_nvim are comparing it to the libraries listed below

• hrsh7th / nvim-cmp
  A completion plugin for neovim coded in Lua.
  ☆9,237Updated 3 weeks ago
• folke / trouble.nvim
  🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing…
  ☆6,582Updated last month
• nvimdev / lspsaga.nvim
  improve neovim lsp experience
  ☆3,721Updated 5 months ago
• NeogitOrg / neogit
  An interactive and powerful Git interface for Neovim, inspired by Magit
  ☆4,980Updated last week
• 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 …
  ☆6,769Updated last month
• nvim-lualine / lualine.nvim
  A blazing fast and easy to configure neovim statusline plugin written in pure lua.
  ☆7,578Updated 3 weeks ago
• lewis6991 / gitsigns.nvim
  Git integration for buffers
  ☆6,398Updated 2 weeks ago
• jose-elias-alvarez / null-ls.nvim
  Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
  ☆3,616Updated 2 years ago
• mfussenegger / nvim-dap
  Debug Adapter Protocol client implementation for Neovim
  ☆6,821Updated 3 weeks ago
• akinsho / toggleterm.nvim
  A neovim lua plugin to help easily manage multiple terminal windows
  ☆5,265Updated 9 months ago
• nanotee / nvim-lua-guide
  A guide to using Lua in Neovim
  ☆5,971Updated 3 months ago
• folke / noice.nvim
  💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.
  ☆5,482Updated last month
• sindrets / diffview.nvim
  Single tabpage interface for easily cycling through diffs for all modified files for any git rev.
  ☆5,152Updated last year
• ms-jpq / chadtree
  File manager for Neovim. Better than NERDTree.
  ☆1,683Updated this week
• lukas-reineke / indent-blankline.nvim
  Indent guides for Neovim
  ☆4,809Updated 8 months ago
• hadronized / hop.nvim
  Neovim motions on speed!
  ☆2,506Updated 2 years ago
• akinsho / bufferline.nvim
  A snazzy bufferline for Neovim
  ☆4,149Updated 11 months ago
• mason-org / mason.nvim
  Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and fo…
  ☆9,827Updated last month
• romgrk / barbar.nvim
  The neovim tabline plugin.
  ☆2,609Updated last week
• williamboman / nvim-lsp-installer
  Further development has moved to https://github.com/williamboman/mason.nvim!
  ☆1,963Updated 3 years ago
• nvim-tree / nvim-tree.lua
  A file explorer tree for neovim written in lua
  ☆8,247Updated this week
• nvim-treesitter / nvim-treesitter
  Nvim Treesitter configurations and abstraction layer
  ☆12,913Updated this week
• folke / todo-comments.nvim
  ✅ Highlight, list and search todo comments in your projects
  ☆3,965Updated last month
• numToStr / Comment.nvim
  // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
  ☆4,526Updated last year
• VonHeikemen / lsp-zero.nvim
  A starting point to setup some lsp related features in neovim.
  ☆4,013Updated 5 months ago
• rcarriga / nvim-notify
  A fancy, configurable, notification manager for NeoVim
  ☆3,489Updated 3 months ago
• ggandor / leap.nvim
  Neovim's answer to the mouse 🦘
  ☆4,966Updated 2 weeks ago
• EdenEast / nightfox.nvim
  🦊A highly customizable theme for vim and neovim with support for lsp, treesitter and a variety of plugins.
  ☆3,822Updated 10 months ago
• ThePrimeagen / refactoring.nvim
  The Refactoring library based off the Refactoring book by Martin Fowler
  ☆3,450Updated 3 weeks ago
• L3MON4D3 / LuaSnip
  Snippet Engine for Neovim written in Lua.
  ☆4,196Updated last month