Alternatives and similar repositories for coq.artifacts:

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

• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆56Updated 3 years ago
• ms-jpq / coq.thirdparty
  Module lua sources for `coq.nvim`, first & third party
  ☆62Updated 2 months ago
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆91Updated 3 years ago
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆66Updated 9 months ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆64Updated 2 years ago
• titanzero / zephyrium
  A dark color scheme for Vim, based on Zephyr, written in Lua
  ☆25Updated 3 years ago
• nkakouros-original / numbers.nvim
  Toggles relativenumbers when not needed
  ☆36Updated last month
• Iron-E / nvim-cartographer
  Create Neovim `:map`pings in Lua with ease!
  ☆55Updated last year
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆47Updated 2 years ago
• tzachar / cmp-fuzzy-path
  ☆68Updated last year
• rktjmp / paperplanes.nvim
  Neovim Pastebins
  ☆91Updated last year
• pierreglaser / folding-nvim
  ☆60Updated 3 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆53Updated 9 months ago
• yonlu / omni.vim
  🎨 Omni color scheme for Neovim.
  ☆88Updated 2 years ago
• Th3Whit3Wolf / space-nvim
  ☆47Updated 10 months ago
• rafcamlet / tabline-framework.nvim
  User-friendly framework for building your dream tabline in a few lines of code.
  ☆98Updated 2 years ago
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆39Updated 4 months ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• yutkat / confirm-quit.nvim
  Check and then exit from Neovim
  ☆25Updated last year
• TheBlob42 / drex.nvim
  Another directory/file explorer for Neovim written in Lua
  ☆94Updated 9 months ago
• konapun / vacuumline.nvim
  A prebuilt configuration for galaxyline inspired by airline
  ☆28Updated 2 years ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆74Updated last year
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆27Updated 3 years ago
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆138Updated last year
• jlesquembre / nterm.nvim
  neovim plugin to interact with the terminal
  ☆56Updated last week
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆76Updated last year
• nvim-telescope / telescope-vimspector.nvim
  Integration for vimspector with telescope.nvim
  ☆41Updated 3 years ago
• bkegley / gloombuddy
  Gloom inspired theme for neovim
  ☆46Updated 3 years ago
• RRethy / nvim-align
  Neovim plugin for aligning text
  ☆46Updated 2 years ago