Alternatives and similar repositories for coq.artifacts

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

• ms-jpq / coq.thirdparty
  Module lua sources for `coq.nvim`, first & third party
  ☆65Updated this week
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆63Updated 3 years ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated 2 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆56Updated last year
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆98Updated 2 months ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆78Updated 2 years ago
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆93Updated 4 years ago
• Shadorain / shadovim
  A neovim setup for the shadow warriors. Speed through the light with the power of shadovim built on the new Lua based neovim! With the hi…
  ☆76Updated 3 months ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆73Updated 2 years ago
• lucax88x / nvim-awesome
  A showcase of nvim plugins
  ☆56Updated 3 years ago
• yutkat / confirm-quit.nvim
  Check and then exit from Neovim
  ☆32Updated 6 months ago
• kunzaatko / nord.nvim
  ☆18Updated last year
• RRethy / nvim-align
  Neovim plugin for aligning text
  ☆47Updated 3 years ago
• octaltree / cmp-look
  ☆92Updated last year
• seblyng / nvim-tabline
  Tabline for neovim written in lua
  ☆49Updated 2 months ago
• gennaro-tedesco / nvim-commaround
  nvim plugin to toggle comments on and off
  ☆41Updated 2 years ago
• pierreglaser / folding-nvim
  ☆61Updated 3 weeks ago
• theHamsta / nvim-treesitter-pairs
  ☆79Updated 2 years ago
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆48Updated 2 years ago
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆28Updated 3 years ago
• tjdevries / coc-zsh
  coc.nvim source for Zsh completions
  ☆29Updated 6 years ago
• mortepau / codicons.nvim
  A plugin simplifying the task of working with VS Code codicons in Neovim
  ☆41Updated 9 months ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆65Updated 3 years ago
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆95Updated 5 months ago
• emiasims / nvim-luaref
  Add a vim :help reference for lua
  ☆126Updated last year
• tzachar / cmp-fuzzy-path
  ☆67Updated last year
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆74Updated 7 months ago
• lewis6991 / foldsigns.nvim
  Signs for folded lines
  ☆35Updated last year
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆65Updated last year