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 month
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆56Updated 3 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆53Updated 9 months ago
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆51Updated last year
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆65Updated 2 years ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆74Updated last year
• saifulapm / chartoggle.nvim
  Toggle character in Neovim
  ☆39Updated 4 months ago
• titanzero / zephyrium
  A dark color scheme for Vim, based on Zephyr, written in Lua
  ☆25Updated 3 years ago
• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆65Updated 8 months 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
• nkakouros-original / numbers.nvim
  Toggles relativenumbers when not needed
  ☆36Updated last month
• Th3Whit3Wolf / space-nvim
  ☆47Updated 9 months ago
• yutkat / confirm-quit.nvim
  Check and then exit from Neovim
  ☆25Updated last year
• RRethy / nvim-align
  Neovim plugin for aligning text
  ☆45Updated 2 years ago
• bkegley / gloombuddy
  Gloom inspired theme for neovim
  ☆46Updated 3 years ago
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆26Updated 3 years ago
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆71Updated 2 years ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• crispgm / nvim-tabline
  nvim port of tabline.vim with Lua
  ☆83Updated 9 months ago
• simrat39 / desktop-notify.nvim
  Show desktop notifications for vim.notify calls
  ☆59Updated 2 years ago
• mong8se / actually.nvim
  A plugin to help load the file you actually meant to load.
  ☆58Updated last month
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆98Updated last month
• pianocomposer321 / consolation.nvim
  A general-purpose terminal wrapper and management plugin for neovim, written in lua
  ☆34Updated 3 years ago
• octaltree / cmp-look
  ☆94Updated last year
• niuiic / dap-utils.nvim
  Better use of nvim-dap
  ☆36Updated 10 months ago
• nvim-neorocks / luarocks-tag-release
  GitHub workflow for automatically generating Luarocks releases from tags and running busted tests
  ☆48Updated this week
• nvim-neorg / neorg-lsp
  An LSP for the Neorg file format.
  ☆40Updated 2 years ago
• stevearc / qf_helper.nvim
  A collection of improvements for the quickfix buffer
  ☆98Updated 2 months ago
• nvimdev / hlsearch.nvim
  auto remove search highlight and rehighlight when using n or N
  ☆76Updated last year