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
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆129Updated 2 years ago
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆163Updated 4 years ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆97Updated last year
• nvim-telescope / telescope-fzy-native.nvim
  FZY style sorter that is compiled
  ☆193Updated 3 years ago
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆209Updated last month
• f3fora / cmp-spell
  spell source for nvim-cmp based on vim's spellsuggest.
  ☆208Updated last year
• 0oAstro / dim.lua
  Dim unused words in neovim
  ☆142Updated 3 months ago
• ZhiyuanLck / smart-pairs
  Ultimate smart pairs written in lua!
  ☆134Updated last month
• Darazaki / indent-o-matic
  Dumb automatic fast indentation detection for Neovim written in Lua
  ☆202Updated last month
• nvim-telescope / telescope-cheat.nvim
  WIP integration
  ☆115Updated 2 years ago
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆93Updated 4 years ago
• kwkarlwang / bufresize.nvim
  Keep buffer dimensions in proportion when terminal window is resized
  ☆176Updated 3 years ago
• nvim-telescope / telescope-symbols.nvim
  ☆215Updated last year
• nvim-telescope / telescope-hop.nvim
  (Teles-)Hopping to the moon.
  ☆96Updated 4 years ago
• vigoux / notifier.nvim
  Non-intrusive notification system for neovim
  ☆197Updated last year
• pianocomposer321 / yabs.nvim
  Yet Another Build System/Code Runner for Neovim, written in lua
  ☆198Updated last year
• nvim-telescope / telescope-packer.nvim
  A Telescope extension that provides extra functionality for Packer.nvim
  ☆176Updated 3 years ago
• numToStr / lemmy-help
  Every one needs help, so lemmy-help you! A CLI to generate vim/nvim help doc from emmylua
  ☆156Updated 2 years ago
• onsails / diaglist.nvim
  Live render workspace diagnostics in quickfix with current buf errors on top, buffer diagnostics in loclist
  ☆199Updated 3 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 4 years ago
• lukas-reineke / cmp-under-comparator
  nvim-cmp comparator function for completion items that start with one or more underlines
  ☆189Updated 3 years ago
• antoinemadec / FixCursorHold.nvim
  Fix CursorHold Performance.
  ☆293Updated 2 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…
  ☆235Updated 4 months ago
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆191Updated last year
• nvim-telescope / telescope-smart-history.nvim
  A history implementation that memorizes prompt input for a specific context
  ☆158Updated 3 years ago
• emiasims / nvim-luaref
  Add a vim :help reference for lua
  ☆126Updated last year
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆120Updated last month
• ojroques / nvim-bufdel
  A Neovim plugin to improve buffer deletion
  ☆179Updated 2 years ago
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆139Updated last year