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)
  ☆66Updated 3 years ago
• quangnguyen30192 / cmp-nvim-tags
  tags sources for nvim-cmp
  ☆56Updated last year
• hrsh7th / cmp-omni
  nvim-cmp source for omnifunc
  ☆52Updated 2 years ago
• ms-jpq / coq.thirdparty
  Module lua sources for `coq.nvim`, first & third party
  ☆65Updated last month
• wyattjsmith1 / weather.nvim
  A simple plugin to display weather on nvim
  ☆28Updated 3 years ago
• KadoBOT / cmp-plugins
  nvim-cmp source for Neovim plugins
  ☆65Updated 3 years ago
• jose-elias-alvarez / buftabline.nvim
  A low-config, minimalistic buffer tabline Neovim plugin written in Lua.
  ☆71Updated 3 years ago
• dmitmel / cmp-cmdline-history
  Source for nvim-cmp which reads results from command-line or search histories
  ☆85Updated 3 years ago
• norcalli / nvim-base16.lua
  Programmatic lua library for setting base16 themes in Neovim.
  ☆79Updated 2 years ago
• chip / telescope-software-licenses.nvim
  View and paste common software licenses into your project
  ☆29Updated last year
• lucax88x / nvim-awesome
  A showcase of nvim plugins
  ☆56Updated 3 years ago
• kunzaatko / nord.nvim
  Nord.nvim is a serene, Arctic-inspired colorscheme for Neovim featuring a carefully curated palette of 16 colors. It provides syntax high…
  ☆18Updated last year
• octaltree / cmp-look
  ☆92Updated last year
• notomo / piemenu.nvim
  Pie menu plugin for neovim
  ☆99Updated 4 months ago
• vigoux / tree-sitter-viml
  Tree-sitter parser for VimL
  ☆73Updated 2 years ago
• stsewd / tree-sitter-comment
  Tree-sitter grammar for comment tags like TODO, FIXME(user).
  ☆159Updated 2 months ago
• rainbowhxch / beacon.nvim
  Neovim plugin to flash cursor when jumps or moves between windows.
  ☆48Updated 2 years ago
• nvim-treesitter / module-template
  A repository template to create you own nvim-treesitter module !
  ☆59Updated last year
• rlch / github-notifications.nvim
  Statusline + Telescope integration for viewing and interacting with GitHub notifications
  ☆84Updated 2 years ago
• nvim-telescope / telescope-node-modules.nvim
  An extension that provides its users with node packages under node_modules directory
  ☆33Updated 3 years ago
• notomo / cmdbuf.nvim
  Alternative command-line window plugin for neovim
  ☆133Updated 4 months ago
• seandewar / nvimesweeper
  Play Minesweeper in your favourite text editor (Neovim 0.7+)
  ☆107Updated last year
• 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…
  ☆76Updated this week
• nvim-telescope / telescope-vimspector.nvim
  Integration for vimspector with telescope.nvim
  ☆44Updated 4 years ago
• lcheylus / overlength.nvim
  A small Neovim plugin to highlight too long lines
  ☆49Updated 4 months ago
• theHamsta / nvim-treesitter-pairs
  ☆80Updated 2 years ago
• Iron-E / nvim-cartographer
  Create Neovim `:map`pings in Lua with ease!
  ☆55Updated 2 years ago
• tzachar / cmp-fuzzy-path
  ☆68Updated last year
• yutkat / confirm-quit.nvim
  Check and then exit from Neovim
  ☆34Updated 7 months ago
• dcampos / cmp-snippy
  nvim-snippy completion source for nvim-cmp.
  ☆50Updated 2 years ago