Alternatives and similar repositories for coq.thirdparty:

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

• milisims / nvim-luaref
  Add a vim :help reference for lua
  ☆124Updated 8 months ago
• nvim-telescope / telescope-symbols.nvim
  ☆205Updated 8 months ago
• AckslD / nvim-revJ.lua
  Nvim-plugin for doing the opposite of join-line (J) of arguments written in lua.
  ☆108Updated 2 years ago
• andersevenrud / cmp-tmux
  Tmux completion source for nvim-cmp and nvim-compe
  ☆124Updated last year
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆208Updated this week
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆131Updated 2 years ago
• octaltree / cmp-look
  ☆94Updated last year
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆91Updated 3 years ago
• nvim-telescope / telescope-packer.nvim
  A Telescope extension that provides extra functionality for Packer.nvim
  ☆179Updated 2 years ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆116Updated last month
• nvim-telescope / telescope-fzy-native.nvim
  FZY style sorter that is compiled
  ☆185Updated 2 years ago
• axieax / urlview.nvim
  🔎 Neovim plugin for viewing all the URLs in a buffer
  ☆236Updated 9 months ago
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆71Updated this week
• folke / paint.nvim
  Easily add additional highlights to your buffers
  ☆170Updated 8 months ago
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆190Updated 9 months ago
• nvim-telescope / telescope-arecibo.nvim
  A Neovim Telescope extension for searching the web!
  ☆89Updated 3 years ago
• ZhiyuanLck / smart-pairs
  Ultimate smart pairs written in lua!
  ☆134Updated last year
• rmagatti / session-lens
  A session-switcher extension for rmagatti/auto-session using Telescope.nvim
  ☆226Updated 8 months 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…
  ☆225Updated last year
• rktjmp / highlight-current-n.nvim
  Highlights the current /, ? or * match under your cursor when pressing n or N and gets out of the way afterwards.
  ☆90Updated last year
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆131Updated 9 months ago
• xiyaowong / nvim-cursorword
  highlight the word under the cursor.
  ☆138Updated 2 years ago
• hrsh7th / cmp-calc
  nvim-cmp source for math calculation
  ☆156Updated 9 months ago
• tzachar / cmp-fuzzy-path
  ☆68Updated last year
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆138Updated last year
• utilyre / sentiment.nvim
  Enhanced matchparen.vim plugin for Neovim
  ☆152Updated last year
• mfussenegger / nvim-lsp-compl
  A fast and asynchronous auto-completion plugin for Neovim, focused on LSP.
  ☆87Updated 5 months ago
• theHamsta / nvim-treesitter-pairs
  ☆76Updated last year
• miversen33 / import.nvim
  A safe require override with niceties
  ☆172Updated 2 years ago
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆94Updated 9 months ago