Alternatives and similar repositories for coq.thirdparty:

Users that are interested in coq.thirdparty are comparing it to the libraries listed below

• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆207Updated last year
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆131Updated 2 years ago
• AckslD / nvim-revJ.lua
  Nvim-plugin for doing the opposite of join-line (J) of arguments written in lua.
  ☆108Updated 2 years ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆98Updated last month
• mfussenegger / nvim-lsp-compl
  A fast and asynchronous auto-completion plugin for Neovim, focused on LSP.
  ☆85Updated 4 months ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆81Updated 2 years ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• nfrid / due.nvim
  Neovim plugin for displaying due dates
  ☆114Updated last year
• andersevenrud / cmp-tmux
  Tmux completion source for nvim-cmp and nvim-compe
  ☆124Updated 11 months ago
• milisims / nvim-luaref
  Add a vim :help reference for lua
  ☆124Updated 7 months ago
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆154Updated 3 years ago
• octaltree / cmp-look
  ☆92Updated last year
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆189Updated 8 months ago
• andrewferrier / textobj-diagnostic.nvim
  NeoVim text object that finds diagnostics
  ☆95Updated last year
• nvim-telescope / telescope-symbols.nvim
  ☆205Updated 7 months ago
• hrsh7th / cmp-calc
  nvim-cmp source for math calculation
  ☆155Updated 7 months ago
• ahmedkhalf / lsp-rooter.nvim
  lsp-rooter.nvim is a neovim plugin written in lua to change the current working directory to the project's root directory automagically u…
  ☆75Updated 3 years ago
• samjwill / nvim-unception
  A plugin that leverages Neovim's built-in RPC functionality to simplify opening files from within Neovim's terminal emulator without nest…
  ☆224Updated last year
• f3fora / cmp-spell
  spell source for nvim-cmp based on vim's spellsuggest.
  ☆198Updated 9 months ago
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆133Updated 8 months ago
• tzachar / cmp-fuzzy-buffer
  ☆86Updated last year
• nvim-telescope / telescope-arecibo.nvim
  A Neovim Telescope extension for searching the web!
  ☆90Updated 3 years ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆116Updated 2 weeks ago
• 0oAstro / dim.lua
  Dim unused words in neovim
  ☆142Updated last year
• rmagatti / session-lens
  A session-switcher extension for rmagatti/auto-session using Telescope.nvim
  ☆226Updated 7 months ago
• rafcamlet / tabline-framework.nvim
  User-friendly framework for building your dream tabline in a few lines of code.
  ☆98Updated last year
• steelsojka / pears.nvim
  Auto pair plugin for neovim
  ☆207Updated 2 years ago
• yioneko / nvim-yati
  Yet another tree-sitter powered indent plugin for Neovim.
  ☆151Updated 8 months ago
• kwkarlwang / bufresize.nvim
  Keep buffer dimensions in proportion when terminal window is resized
  ☆161Updated 2 years ago
• tamago324 / cmp-zsh
  nvim-cmp source for zsh
  ☆70Updated last year