ms-jpq / coq.thirdparty

Related projects ⓘ

Alternatives and complementary repositories for coq.thirdparty

• mcauley-penney / tidy.nvim
  A small Neovim plugin to remove trailing whitespace and empty lines at end of file on every save
  ☆111Updated last month
• andersevenrud / cmp-tmux
  Tmux completion source for nvim-cmp and nvim-compe
  ☆121Updated 8 months ago
• rmagatti / session-lens
  A session-switcher extension for rmagatti/auto-session using Telescope.nvim
  ☆226Updated 4 months ago
• nvim-telescope / telescope-fzy-native.nvim
  FZY style sorter that is compiled
  ☆179Updated 2 years ago
• hrsh7th / cmp-nvim-lsp-document-symbol
  nvim-cmp source for textDocument/documentSymbol via nvim-lsp.
  ☆182Updated 5 months ago
• nvim-telescope / telescope-symbols.nvim
  ☆200Updated 4 months ago
• lazytanuki / nvim-mapper
  A neovim plugin that helps you keep track of your keymaps.
  ☆131Updated last year
• folke / paint.nvim
  Easily add additional highlights to your buffers
  ☆171Updated 4 months ago
• hrsh7th / cmp-calc
  nvim-cmp source for math calculation
  ☆153Updated 4 months ago
• yioneko / nvim-yati
  Yet another tree-sitter powered indent plugin for Neovim.
  ☆152Updated 5 months ago
• nvim-telescope / telescope-cheat.nvim
  WIP integration
  ☆117Updated 11 months ago
• milisims / nvim-luaref
  Add a vim :help reference for lua
  ☆122Updated 4 months ago
• AckslD / nvim-revJ.lua
  Nvim-plugin for doing the opposite of join-line (J) of arguments written in lua.
  ☆110Updated 2 years ago
• f3fora / cmp-spell
  spell source for nvim-cmp based on vim's spellsuggest.
  ☆194Updated 6 months ago
• Darazaki / indent-o-matic
  Dumb automatic fast indentation detection for Neovim written in Lua
  ☆185Updated last year
• jghauser / mkdir.nvim
  This neovim plugin creates missing folders on save.
  ☆214Updated 2 years ago
• xiyaowong / nvim-cursorword
  highlight the word under the cursor.
  ☆133Updated 2 years ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆98Updated 6 months ago
• winston0410 / range-highlight.nvim
  An extremely lightweight plugin (~ 120loc) that hightlights ranges you have entered in commandline.
  ☆204Updated last year
• David-Kunz / treesitter-unit
  A Neovim plugin to deal with treesitter units
  ☆151Updated 3 years ago
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆137Updated 9 months ago
• hrsh7th / cmp-emoji
  nvim-cmp source for emoji
  ☆186Updated 6 months ago
• uga-rosa / cmp-dictionary
  A dictionary completion source for nvim-cmp
  ☆254Updated 3 months ago
• crispgm / telescope-heading.nvim
  An extension for telescope.nvim that allows you to switch between headings
  ☆127Updated 5 months ago
• s1n7ax / nvim-comment-frame
  Detects the language using treesitter and adds a comment block
  ☆96Updated 5 months ago
• echasnovski / mini.align
  Neovim Lua plugin to align text interactively. Part of 'mini.nvim' library.
  ☆94Updated last month
• gbprod / stay-in-place.nvim
  Neovim plugin that prevent cursor from moving when using shift and filter actions.
  ☆91Updated last year
• octaltree / cmp-look
  ☆89Updated 10 months ago