ms-jpq / coq.artifactsLinks
☆16Updated this week
Alternatives and similar repositories for coq.artifacts
Users that are interested in coq.artifacts are comparing it to the libraries listed below
Sorting:
- Module lua sources for `coq.nvim`, first & third party☆65Updated 8 months ago
- Pie menu plugin for neovim☆98Updated last month
- One terminal plugin to rule them all ! (eventually)☆61Updated 3 years ago
- tags sources for nvim-cmp☆54Updated last year
- nvim-cmp source for omnifunc☆51Updated last year
- ☆48Updated last year
- A low-config, minimalistic buffer tabline Neovim plugin written in Lua.☆71Updated 3 years ago
- nvim-cmp source for Neovim plugins☆64Updated 2 years ago
- 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 2 months ago
- Neovim plugin for aligning text☆47Updated 3 years ago
- Check and then exit from Neovim☆30Updated 4 months ago
- Tree-sitter parser for VimL☆73Updated 2 years ago
- ☆18Updated last year
- Programmatic lua library for setting base16 themes in Neovim.☆78Updated 2 years ago
- Plugin manager. Part of 'mini.nvim' library.☆74Updated 2 weeks ago
- Kimbie Dark Neovim colorscheme☆69Updated 2 years ago
- A showcase of nvim plugins☆56Updated 3 years ago
- ☆61Updated 3 years ago
- ☆92Updated last year
- Gloom inspired theme for neovim☆48Updated 4 years ago
- Neovim plugin to flash cursor when jumps or moves between windows.☆47Updated 2 years ago
- Show desktop notifications for vim.notify calls☆58Updated 2 years ago
- Neovim plugin for displaying due dates☆118Updated 2 years ago
- A plugin simplifying the task of working with VS Code codicons in Neovim☆41Updated 7 months ago
- Powerful but minimal context menu plugin for neovim.☆66Updated last year
- View and paste common software licenses into your project☆28Updated last year
- Add a vim :help reference for lua☆124Updated last year
- A simple plugin to display weather on nvim☆28Updated 3 years ago
- Statusline + Telescope integration for viewing and interacting with GitHub notifications☆84Updated 2 years ago
- ☆79Updated 2 years ago