Alternatives and similar repositories for coq.thirdparty

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

• andersevenrud / cmp-tmux
  Tmux completion source for nvim-cmp and nvim-compe
  ☆126Updated last year
• Darazaki / indent-o-matic
  Dumb automatic fast indentation detection for Neovim written in Lua
  ☆203Updated 2 months ago
• nvim-telescope / telescope-fzy-native.nvim
  FZY style sorter that is compiled
  ☆193Updated 3 years ago
• emiasims / nvim-luaref
  Add a vim :help reference for lua
  ☆127Updated last year
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆163Updated 4 years ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆120Updated 2 months ago
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆191Updated last year
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆210Updated last month
• jghauser / mkdir.nvim
  This neovim plugin creates missing folders on save.
  ☆234Updated 3 years ago
• folke / paint.nvim
  Easily add additional highlights to your buffers
  ☆172Updated 3 months ago
• norcalli / nvim-terminal.lua
  A high performance filetype mode for Neovim which leverages conceal and highlights your buffer with the correct color codes.
  ☆275Updated 3 years ago
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆129Updated 2 years ago
• nvim-telescope / telescope-packer.nvim
  A Telescope extension that provides extra functionality for Packer.nvim
  ☆176Updated 3 years ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆97Updated last year
• f3fora / cmp-spell
  spell source for nvim-cmp based on vim's spellsuggest.
  ☆210Updated last year
• neovim / packspec
  ALPHA package dependencies spec
  ☆247Updated 2 months ago
• nvim-treesitter / nvim-tree-docs
  Code documentation built with treesitter
  ☆227Updated 2 years ago
• winston0410 / commented.nvim
  Neovim commenting plugin in Lua. Support operator, motions and more than 60 languages!
  ☆114Updated 3 years ago
• xiyaowong / nvim-cursorword
  highlight the word under the cursor.
  ☆154Updated 3 years ago
• antoinemadec / FixCursorHold.nvim
  Fix CursorHold Performance.
  ☆293Updated 2 years ago
• nvim-telescope / telescope-symbols.nvim
  ☆215Updated last year
• hrsh7th / cmp-calc
  nvim-cmp source for math calculation
  ☆157Updated last year
• yioneko / nvim-yati
  Yet another tree-sitter powered indent plugin for Neovim.
  ☆154Updated last year
• 0oAstro / dim.lua
  Dim unused words in neovim
  ☆142Updated 4 months ago
• ojroques / nvim-bufdel
  A Neovim plugin to improve buffer deletion
  ☆182Updated 2 years ago
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆95Updated 8 months ago
• ZhiyuanLck / smart-pairs
  Ultimate smart pairs written in lua!
  ☆134Updated 2 months ago
• steelsojka / pears.nvim
  Auto pair plugin for neovim
  ☆209Updated 3 years ago
• xiyaowong / virtcolumn.nvim
  Display a line as the colorcolumn
  ☆103Updated last year
• nvim-telescope / telescope-smart-history.nvim
  A history implementation that memorizes prompt input for a specific context
  ☆159Updated 3 years ago