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
  ☆63Updated 3 months ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆53Updated 11 months ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆64Updated 2 years ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆57Updated 3 years ago
• echasnovski / mini.deps
  Plugin manager. Part of 'mini.nvim' library.
  ☆62Updated last month
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆99Updated 3 months ago
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆39Updated 6 months ago
• seandewar / nvimesweeper
  Play Minesweeper in your favourite text editor (Neovim 0.7+)
  ☆101Updated 10 months ago
• Abstract-IDE / penvim
  Project's root directory and documents Indentation detector with project based config loader
  ☆51Updated 2 years ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆83Updated 3 years ago
• crispgm / nvim-tabline
  nvim port of tabline.vim with Lua
  ☆83Updated 11 months ago
• bkegley / gloombuddy
  Gloom inspired theme for neovim
  ☆46Updated 4 years ago
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆66Updated 10 months ago
• nkakouros-original / numbers.nvim
  Toggles relativenumbers when not needed
  ☆37Updated 3 months ago
• octaltree / cmp-look
  ☆94Updated last year
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• chip / telescope-software-licenses.nvim
  View and paste common software licenses into your project
  ☆27Updated 9 months 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…
  ☆75Updated last month
• psliwka / termcolors.nvim
  generate colors for your terminal from any Neovim colorscheme 🌈
  ☆45Updated last year
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆27Updated 3 years ago
• Joakker / lua-json5
  A json5 parser for luajit
  ☆37Updated last week
• TC72 / telescope-tele-tabby.nvim
  A telescope extension to switch tabs.
  ☆52Updated 2 years ago
• Th3Whit3Wolf / space-nvim
  ☆48Updated 11 months ago
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆70Updated last month
• lucax88x / nvim-awesome
  A showcase of nvim plugins
  ☆56Updated 3 years ago
• pianocomposer321 / consolation.nvim
  A general-purpose terminal wrapper and management plugin for neovim, written in lua
  ☆34Updated 3 years ago
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆76Updated 2 years ago
• mcauley-penney / tidy.nvim
  A Neovim plugin to remove trailing white space and empty lines at end of file.
  ☆115Updated 3 weeks ago
• simrat39 / desktop-notify.nvim
  Show desktop notifications for vim.notify calls
  ☆58Updated 2 years ago