Alternatives and similar repositories for coq.artifacts:

Users that are interested in coq.artifacts are comparing it to the libraries listed below

• meznaric / conmenu
  Powerful but minimal context menu plugin for neovim.
  ☆67Updated 9 months ago
• 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 10 months ago
• LoricAndre / OneTerm.nvim
  One terminal plugin to rule them all ! (eventually)
  ☆56Updated 3 years 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
• titanzero / zephyrium
  A dark color scheme for Vim, based on Zephyr, written in Lua
  ☆25Updated 3 years ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆74Updated last year
• seandewar / killersheep.nvim
  Neovim port of killersheep (with blood!)
  ☆71Updated last month
• simrat39 / desktop-notify.nvim
  Show desktop notifications for vim.notify calls
  ☆59Updated 2 years ago
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆76Updated 2 years ago
• FelipeLema / cmp-async-path
  nvim-cmp source for path (async version)
  ☆30Updated last year
• mong8se / actually.nvim
  A plugin to help load the file you actually meant to load.
  ☆59Updated 2 months ago
• Abstract-IDE / penvim
  Project's root directory and documents Indentation detector with project based config loader
  ☆51Updated 2 years ago
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆99Updated 2 months ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆82Updated 2 years ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆64Updated 2 years ago
• rktjmp / paperplanes.nvim
  Neovim Pastebins
  ☆91Updated last year
• famiu / nvim-reload
  Plugin to easily reload your Neovim config
  ☆91Updated 3 years ago
• adisen99 / apprentice.nvim
  Apprentice color scheme for Neovim written in Lua
  ☆44Updated last year
• theHamsta / nvim-treesitter-pairs
  ☆77Updated last year
• gennaro-tedesco / nvim-commaround
  nvim plugin to toggle comments on and off
  ☆40Updated 2 years ago
• nyngwang / suave.lua
  Multi-tabs project session automation
  ☆67Updated last week
• Th3Whit3Wolf / space-nvim
  ☆47Updated 10 months ago
• numToStr / lemmy-help
  Every one needs help, so lemmy-help you! A CLI to generate vim/nvim help doc from emmylua
  ☆148Updated last year
• koenverburg / peepsight.nvim
  Focus on one function at a time
  ☆116Updated last year
• AllenDang / nvim-expand-expr
  Expand and repeat expression to multiple lines for neovim.
  ☆35Updated 3 years ago
• shrikecode / kyotonight.vim
  Vim / NeoVim theme that is a marriage of Tokyo Night and Nord Theme. And they went on honeymoon to Kyoto I guess. Dark, elegant, and easy…
  ☆64Updated last year
• nvim-neorg / neorg-lsp
  An LSP for the Neorg file format.
  ☆40Updated 2 years ago
• sQVe / sort.nvim
  Sorting plugin for Neovim that supports line-wise and delimiter sorting.
  ☆137Updated last year