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
  ☆62Updated last week
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆57Updated 2 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆53Updated 7 months ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆48Updated last year
• pianocomposer321 / consolation.nvim
  A general-purpose terminal wrapper and management plugin for neovim, written in lua
  ☆34Updated 3 years ago
• nyngwang / suave.lua
  Multi-tabs project session automation
  ☆65Updated last year
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆81Updated 2 years ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 2 years ago
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆65Updated 7 months ago
• psliwka / termcolors.nvim
  generate colors for your terminal from any Neovim colorscheme 🌈
  ☆44Updated 11 months ago
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆70Updated 2 years ago
• Abstract-IDE / penvim
  Project's root directory and documents Indentation detector with project based config loader
  ☆51Updated 2 years ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆64Updated 2 years ago
• PHSix / nvim-hybrid
  A neovim colorscheme write in lua.
  ☆26Updated 3 years ago
• tzachar / cmp-fuzzy-path
  ☆68Updated last year
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆98Updated this week
• lewis6991 / foldsigns.nvim
  Signs for folded lines
  ☆34Updated last year
• rktjmp / paperplanes.nvim
  Neovim Pastebins
  ☆92Updated last year
• octaltree / cmp-look
  ☆91Updated last year
• nkakouros-original / numbers.nvim
  Toggles relativenumbers when not needed
  ☆36Updated 2 years ago
• Th3Whit3Wolf / space-nvim
  ☆47Updated 8 months ago
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆39Updated 2 months ago
• xiyaowong / virtcolumn.nvim
  Display a line as the colorcolumn
  ☆90Updated 8 months ago
• lucax88x / nvim-awesome
  A showcase of nvim plugins
  ☆55Updated 3 years ago
• backdround / tabscope.nvim
  Manages buffers as tab-local buffers!
  ☆52Updated last year
• doums / monark.nvim
  Show mode changes right next to the cursor
  ☆33Updated last year
• titanzero / zephyrium
  A dark color scheme for Vim, based on Zephyr, written in Lua
  ☆24Updated 2 years ago
• yonlu / omni.vim
  🎨 Omni color scheme for Neovim.
  ☆88Updated 2 years ago
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆47Updated last year
• nanotee / nvim-lsp-basics
  Basic wrappers for LSP features
  ☆31Updated 2 years ago