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 3 weeks ago
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆57Updated 2 years ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆65Updated 2 years ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆39Updated 3 months ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆53Updated 8 months ago
• bkegley / gloombuddy
  Gloom inspired theme for neovim
  ☆46Updated 3 years ago
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆98Updated 3 weeks ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆82Updated 2 years ago
• rktjmp / paperplanes.nvim
  Neovim Pastebins
  ☆92Updated last year
• tzachar / cmp-fuzzy-path
  ☆68Updated last year
• mong8se / actually.nvim
  A plugin to help load the file you actually meant to load.
  ☆56Updated 2 weeks ago
• psliwka / termcolors.nvim
  generate colors for your terminal from any Neovim colorscheme 🌈
  ☆44Updated 11 months ago
• Jxstxs / conceal.nvim
  A Neovim Plugin which uses Treesitter to conceal typical boiler Code
  ☆73Updated 7 months ago
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆65Updated 7 months ago
• pianocomposer321 / consolation.nvim
  A general-purpose terminal wrapper and management plugin for neovim, written in lua
  ☆34Updated 3 years ago
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆70Updated 2 years ago
• Iron-E / nvim-cartographer
  Create Neovim `:map`pings in Lua with ease!
  ☆55Updated last year
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 2 years ago
• backdround / tabscope.nvim
  Manages buffers as tab-local buffers!
  ☆53Updated last year
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆74Updated last year
• crispgm / nvim-tabline
  nvim port of tabline.vim with Lua
  ☆80Updated 8 months ago
• nyngwang / NeoNoName.lua
  Layout preserving buffer deletion.
  ☆29Updated last year
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆47Updated last year
• tamago324 / cmp-zsh
  nvim-cmp source for zsh
  ☆71Updated last year
• notomo / cmdbuf.nvim
  Alternative command-line window plugin for neovim
  ☆121Updated 2 weeks ago
• gennaro-tedesco / nvim-commaround
  nvim plugin to toggle comments on and off
  ☆40Updated 2 years ago
• adisen99 / apprentice.nvim
  Apprentice color scheme for Neovim written in Lua
  ☆44Updated last year
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆26Updated 3 years ago
• octaltree / cmp-look
  ☆92Updated last year