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)
  ☆57Updated 3 years ago
• ms-jpq / coq.thirdparty
  Module lua sources for `coq.nvim`, first & third party
  ☆63Updated 5 months ago
• yutkat / confirm-quit.nvim
  Check and then exit from Neovim
  ☆27Updated 2 months ago
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆76Updated 2 years ago
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆98Updated 5 months ago
• simrat39 / desktop-notify.nvim
  Show desktop notifications for vim.notify calls
  ☆58Updated 2 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆54Updated last year
• lucax88x / nvim-awesome
  A showcase of nvim plugins
  ☆56Updated 3 years ago
• Th3Whit3Wolf / space-nvim
  ☆49Updated last year
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆28Updated 3 years ago
• adisen99 / apprentice.nvim
  Apprentice color scheme for Neovim written in Lua
  ☆44Updated last year
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆64Updated 2 years ago
• rktjmp / paperplanes.nvim
  Neovim Pastebins
  ☆91Updated this week
• 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…
  ☆75Updated 3 weeks ago
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆38Updated 8 months ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆73Updated 2 years ago
• Zeioth / dooku.nvim
  Code documentation generator for Neovim
  ☆45Updated 3 weeks ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• bkegley / gloombuddy
  Gloom inspired theme for neovim
  ☆46Updated 4 years ago
• titanzero / zephyrium
  A dark color scheme for Vim, based on Zephyr, written in Lua
  ☆25Updated 3 years ago
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆48Updated 2 years ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆84Updated 3 years ago
• tjdevries / coc-zsh
  coc.nvim source for Zsh completions
  ☆29Updated 6 years ago
• Iron-E / nvim-cartographer
  Create Neovim `:map`pings in Lua with ease!
  ☆55Updated 2 years ago
• chip / telescope-software-licenses.nvim
  View and paste common software licenses into your project
  ☆27Updated 11 months ago
• pierreglaser / folding-nvim
  ☆60Updated 3 years ago
• TimUntersberger / neofs
  A file manager for neovim
  ☆69Updated 2 years ago
• gaborvecsei / memento.nvim
  A NeoVim plugin which remembers where you've been
  ☆63Updated 3 years ago
• pianocomposer321 / consolation.nvim
  A general-purpose terminal wrapper and management plugin for neovim, written in lua
  ☆35Updated 3 years ago