Alternatives and similar repositories for coq.thirdparty

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

• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆97Updated 5 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
• andersevenrud / cmp-tmux
  Tmux completion source for nvim-cmp and nvim-compe
  ☆123Updated last year
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆131Updated 2 years ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• emiasims / nvim-luaref
  Add a vim :help reference for lua
  ☆124Updated 11 months ago
• AckslD / nvim-revJ.lua
  Nvim-plugin for doing the opposite of join-line (J) of arguments written in lua.
  ☆108Updated 3 years ago
• Darazaki / indent-o-matic
  Dumb automatic fast indentation detection for Neovim written in Lua
  ☆195Updated 2 years ago
• mfussenegger / nvim-lsp-compl
  A fast and asynchronous auto-completion plugin for Neovim, focused on LSP.
  ☆86Updated 2 months ago
• octaltree / cmp-look
  ☆93Updated last year
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆132Updated last year
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆208Updated 3 months ago
• nvim-telescope / telescope-fzy-native.nvim
  FZY style sorter that is compiled
  ☆187Updated 2 years ago
• anuvyklack / fold-preview.nvim
  Preview folds in float window
  ☆133Updated 11 months ago
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆159Updated 3 years ago
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆95Updated last month
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆71Updated 3 months ago
• anott03 / nvim-lspinstall
  ☆87Updated 3 years ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• gbprod / stay-in-place.nvim
  Neovim plugin that prevent cursor from moving when using shift and filter actions.
  ☆96Updated 2 years ago
• winston0410 / commented.nvim
  Neovim commenting plugin in Lua. Support operator, motions and more than 60 languages!
  ☆113Updated 3 years ago
• rafcamlet / tabline-framework.nvim
  User-friendly framework for building your dream tabline in a few lines of code.
  ☆98Updated 2 years ago
• rmagatti / session-lens
  A session-switcher extension for rmagatti/auto-session using Telescope.nvim
  ☆225Updated 11 months ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆115Updated last week
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆139Updated last year
• nvim-telescope / telescope-hop.nvim
  (Teles-)Hopping to the moon.
  ☆96Updated 3 years ago
• utilyre / sentiment.nvim
  Enhanced matchparen.vim plugin for Neovim
  ☆150Updated last year
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆92Updated 3 years ago
• nyngwang / NeoZoom.lua
  A simple usecase of floating window to help you focus.
  ☆183Updated last year
• dgrbrady / nvim-docker
  ☆131Updated last year