Alternatives and similar repositories for coq.thirdparty

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

• ms-jpq / coq.artifacts

  View on GitHub
  ☆16Updated this week
• ms-jpq / vim.bench

  View on GitHub
  Reproducible nvim completion framework benchmarks.
  ☆13Aug 22, 2023Updated 2 years ago
• UltiRequiem / blinds-nvim.lua

  View on GitHub
  Emphasizes the current window by shading the other windows.
  ☆11Jun 5, 2021Updated 4 years ago
• delphinus / ddc-treesitter

  View on GitHub
  A source for ddc.vim to gather candidates from nvim-treesitter
  ☆17Jan 1, 2024Updated 2 years ago
• notomo / cmp-neosnippet

  View on GitHub
  nvim-cmp source for neosnippet
  ☆12Jan 6, 2022Updated 4 years ago
• ms-jpq / pynvim_pp

  View on GitHub
  ☆10May 29, 2025Updated 8 months ago
• voldikss / coc-just-complete

  View on GitHub
  See https://github.com/voldikss/coc-extensions
  ☆10Mar 25, 2021Updated 4 years ago
• tamago324 / telescope-sonictemplate.nvim

  View on GitHub
  sonictemplate-vim integration
  ☆14Nov 20, 2023Updated 2 years ago
• alaric / nortia.nvim

  View on GitHub
  Dynamic and temporal light and dark colour scheme made with Lush.nvim
  ☆21Mar 21, 2025Updated 10 months ago
• Furkanzmc / options.nvim

  View on GitHub
  A small library to create custom options
  ☆16Jul 8, 2025Updated 7 months ago
• f3fora / cmp-nuspell

  View on GitHub
  nuspell source for nvim-cmp based on nuspell
  ☆10Jan 5, 2022Updated 4 years ago
• chip / telescope-code-fence.nvim

  View on GitHub
  telescope.nvim extension will fetch & parse text files from Github and provide a list of Markdown Code Fences that you can paste into a b…
  ☆14Feb 1, 2026Updated last week
• lewis6991 / spellsitter.nvim

  View on GitHub
  Treesitter powered spellchecker
  ☆412Sep 6, 2022Updated 3 years ago
• notomo / zebrazone.nvim

  View on GitHub
  🦓 Make neovim buffer striped
  ☆18Oct 26, 2024Updated last year
• andersevenrud / cmp-tmux

  View on GitHub
  Tmux completion source for nvim-cmp and nvim-compe
  ☆126Feb 29, 2024Updated last year
• deoplete-plugins / deoplete-tag

  View on GitHub
  deoplete source for tag
  ☆13Jun 6, 2021Updated 4 years ago
• voldikss / coc-gist

  View on GitHub
  See https://github.com/voldikss/coc-extensions
  ☆15Mar 18, 2021Updated 4 years ago
• nazo6 / installer.nvim

  View on GitHub
  Install external dependencies inside neovim
  ☆15Feb 28, 2022Updated 3 years ago
• ms-jpq / coq_nvim

  View on GitHub
  Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
  ☆3,772Jan 6, 2026Updated last month
• theHamsta / crazy-node-movement

  View on GitHub
  Move along tree-sitter's syntax tree with Neovim!
  ☆34Oct 13, 2023Updated 2 years ago
• steelsojka / pears.nvim

  View on GitHub
  Auto pair plugin for neovim
  ☆209Jul 23, 2022Updated 3 years ago
• octaltree / cmp-look

  View on GitHub
  ☆92Dec 24, 2023Updated 2 years ago
• yuki-yano / fern-preview.vim

  View on GitHub
  Add a file preview window to fern.vim.
  ☆47Aug 28, 2022Updated 3 years ago
• kristijanhusak / line-notes.nvim

  View on GitHub
  ☆34Jul 11, 2021Updated 4 years ago
• WilsonOh / emoji_picker-nvim

  View on GitHub
  simple emoji picker plugin for neovim
  ☆19Aug 20, 2022Updated 3 years ago
• oberblastmeister / termwrapper.nvim

  View on GitHub
  lua wrapper for neovim terminal
  ☆19Mar 28, 2021Updated 4 years ago
• EthanJWright / toolwindow.nvim

  View on GitHub
  Easy management of a toolwindow.
  ☆34Jul 24, 2024Updated last year
• bfredl / bfredl.github.io

  View on GitHub
  public docs and dotfiles
  ☆19Feb 7, 2026Updated last week
• paopaol / cmp-doxygen

  View on GitHub
  neovim completion for doxygen use nvim-cmp
  ☆17Feb 23, 2023Updated 2 years ago
• richin13 / dotfiles

  View on GitHub
  My dotfiles: (Neovim + Zsh + Tmux) optimized for Python & React development 🤑
  ☆14Feb 3, 2026Updated last week
• hlissner / .vim

  View on GitHub
  Did someone say... vim?
  ☆20Apr 13, 2020Updated 5 years ago
• jlesquembre / nterm.nvim

  View on GitHub
  neovim plugin to interact with the terminal
  ☆57Feb 3, 2026Updated last week
• jamestthompson3 / vimConfig

  View on GitHub
  My vim configuration
  ☆36Updated this week
• hrsh7th / cmp-copilot

  View on GitHub
  copilot.vim source for nvim-cmp
  ☆134Nov 16, 2023Updated 2 years ago
• spywhere / plug.nvim

  View on GitHub
  An extensible layer for plugin managers in pure lua
  ☆17Dec 30, 2025Updated last month
• mfussenegger / nvim-fzy

  View on GitHub
  Moved to codeberg - Fuzzy picker & vim.ui.select implementation via fzy for neovim
  ☆59Apr 9, 2025Updated 10 months ago
• aspeddro / pandoc.nvim

  View on GitHub
  A Neovim plugin for pandoc
  ☆39Apr 8, 2023Updated 2 years ago
• davidsierradz / cmp-conventionalcommits

  View on GitHub
  (WIP) nvim-cmp source for autocompleting git commits with conventional commits types and lerna packages as scope
  ☆75Jul 30, 2024Updated last year
• gukz / ftFT.nvim

  View on GitHub
  Use ftFT{} as usual, but with highlighting
  ☆34Feb 2, 2024Updated 2 years ago