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
  ☆125Updated last year
• folke / paint.nvim
  Easily add additional highlights to your buffers
  ☆170Updated last year
• Darazaki / indent-o-matic
  Dumb automatic fast indentation detection for Neovim written in Lua
  ☆198Updated 2 years ago
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆209Updated 2 months ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆97Updated 8 months ago
• nvim-telescope / telescope-hop.nvim
  (Teles-)Hopping to the moon.
  ☆96Updated 3 years ago
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆134Updated last year
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆161Updated 3 years ago
• emiasims / nvim-luaref
  Add a vim :help reference for lua
  ☆124Updated last year
• seblyng / nvim-tabline
  Tabline for neovim written in lua
  ☆49Updated 3 weeks ago
• nvim-treesitter / nvim-tree-docs
  Code documentation built with treesitter
  ☆224Updated 2 years ago
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆130Updated 2 years ago
• ZhiyuanLck / smart-pairs
  Ultimate smart pairs written in lua!
  ☆135Updated last year
• 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 4 years ago
• onsails / diaglist.nvim
  Live render workspace diagnostics in quickfix with current buf errors on top, buffer diagnostics in loclist
  ☆193Updated 3 years ago
• pianocomposer321 / yabs.nvim
  Yet Another Build System/Code Runner for Neovim, written in lua
  ☆198Updated last year
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆191Updated last year
• xiyaowong / virtcolumn.nvim
  Display a line as the colorcolumn
  ☆96Updated last year
• andrewferrier / textobj-diagnostic.nvim
  NeoVim text object that finds diagnostics
  ☆94Updated last year
• AckslD / nvim-revJ.lua
  Nvim-plugin for doing the opposite of join-line (J) of arguments written in lua.
  ☆108Updated 3 years ago
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆95Updated 3 months ago
• f3fora / cmp-spell
  spell source for nvim-cmp based on vim's spellsuggest.
  ☆209Updated last year
• nvim-telescope / telescope-cheat.nvim
  WIP integration
  ☆115Updated last year
• xiyaowong / nvim-cursorword
  highlight the word under the cursor.
  ☆147Updated 3 years ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆118Updated 3 weeks ago
• winston0410 / commented.nvim
  Neovim commenting plugin in Lua. Support operator, motions and more than 60 languages!
  ☆113Updated 3 years ago
• vigoux / notifier.nvim
  Non-intrusive notification system for neovim
  ☆196Updated last year
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆189Updated last week
• rmagatti / session-lens
  A session-switcher extension for rmagatti/auto-session using Telescope.nvim
  ☆224Updated last year
• norcalli / nvim-terminal.lua
  A high performance filetype mode for Neovim which leverages conceal and highlights your buffer with the correct color codes.
  ☆251Updated 2 years ago