ms-jpq / coq.artifacts
☆16Updated 2 months ago
Alternatives and similar repositories for coq.artifacts:
Users that are interested in coq.artifacts are comparing it to the libraries listed below
- One terminal plugin to rule them all ! (eventually)☆56Updated 3 years ago
- Module lua sources for `coq.nvim`, first & third party☆62Updated 2 months ago
- Plugin to easily reload your Neovim config☆91Updated 3 years ago
- Powerful but minimal context menu plugin for neovim.☆66Updated 9 months ago
- 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 dark color scheme for Vim, based on Zephyr, written in Lua☆25Updated 3 years ago
- Toggles relativenumbers when not needed☆36Updated last month
- Create Neovim `:map`pings in Lua with ease!☆55Updated last year
- Neovim plugin to flash cursor when jumps or moves between windows.☆47Updated 2 years ago
- ☆68Updated last year
- Neovim Pastebins☆91Updated last year
- ☆60Updated 3 years ago
- tags sources for nvim-cmp☆53Updated 9 months ago
- 🎨 Omni color scheme for Neovim.☆88Updated 2 years ago
- ☆47Updated 10 months ago
- User-friendly framework for building your dream tabline in a few lines of code.☆98Updated 2 years ago
- Toggle character in Neovim☆39Updated 4 months ago
- nvim-cmp source for omnifunc☆51Updated last year
- Check and then exit from Neovim☆25Updated last year
- Another directory/file explorer for Neovim written in Lua☆94Updated 9 months ago
- A prebuilt configuration for galaxyline inspired by airline☆28Updated 2 years ago
- Tree-sitter parser for VimL☆74Updated last year
- A simple plugin to display weather on nvim☆27Updated 3 years ago
- Sorting plugin for Neovim that supports line-wise and delimiter sorting.☆138Updated last year
- neovim plugin to interact with the terminal☆56Updated last week
- Programmatic lua library for setting base16 themes in Neovim.☆76Updated last year
- Integration for vimspector with telescope.nvim☆41Updated 3 years ago
- Gloom inspired theme for neovim☆46Updated 3 years ago
- Neovim plugin for aligning text☆46Updated 2 years ago