Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
☆3,791Jan 6, 2026Updated 3 months ago
Alternatives and similar repositories for coq_nvim
Users that are interested in coq_nvim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- File manager for Neovim. Better than NERDTree.☆1,689Updated this week
- A completion plugin for neovim coded in Lua.☆9,392Mar 25, 2026Updated 2 weeks ago
- improve neovim lsp experience☆3,773Mar 3, 2026Updated last month
- 🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing…☆6,744Oct 31, 2025Updated 5 months ago
- Improve startup time for Neovim☆1,176May 5, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Quickstart configs for Nvim LSP☆13,525Updated this week
- Find, Filter, Preview, Pick. All lua, all the time.☆19,263Apr 7, 2026Updated last week
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆3,604Oct 3, 2023Updated 2 years ago
- deprecated in favor of leap.nvim☆1,558Dec 1, 2023Updated 2 years ago
- LSP signature hint as you type☆2,346Apr 7, 2026Updated last week
- Auto completion Lua plugin for nvim☆1,278Oct 2, 2021Updated 4 years ago
- A file explorer tree for neovim written in lua☆8,454Apr 7, 2026Updated last week
- A fancy, configurable, notification manager for NeoVim☆3,545Sep 6, 2025Updated 7 months ago
- Code analysis & navigation plugin for Neovim. Navigate codes like a breeze🎐 Exploring LSP and 🌲Treesitter symbols a piece of 🍰 Take …☆1,389Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collections of awesome neovim plugins.☆20,597Apr 6, 2026Updated last week
- Nvim Treesitter configurations and abstraction layer☆13,657Apr 3, 2026Updated last week
- Git integration for buffers☆6,701Apr 8, 2026Updated last week
- 💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you …☆7,051Oct 28, 2025Updated 5 months ago
- Indent guides for Neovim☆4,905Feb 17, 2026Updated last month
- autopairs for neovim written in lua☆3,992Jan 30, 2026Updated 2 months ago
- Debug Adapter Protocol client implementation for Neovim☆7,070Apr 6, 2026Updated last week
- A blazing fast and easy to configure neovim statusline plugin written in pure lua.☆7,864Updated this week
- Single tabpage interface for easily cycling through diffs for all modified files for any git rev.☆5,484Aug 2, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An interactive and powerful Git interface for Neovim, inspired by Magit☆5,275Apr 8, 2026Updated last week
- Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and fo…☆10,194Apr 6, 2026Updated last week
- Neovim motions on speed!☆2,508Sep 12, 2023Updated 2 years ago
- A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expres…☆8,105Mar 5, 2024Updated 2 years ago
- A snazzy bufferline for Neovim☆4,290Jan 14, 2025Updated last year
- Modernity meets insane extensibility. The future of organizing your life in Neovim.☆7,263Updated this week
- Neovim plugin to improve the default vim.ui interfaces☆1,982Feb 12, 2025Updated last year
- A minimal, stylish and customizable statusline for Neovim written in Lua☆1,053Sep 20, 2023Updated 2 years ago
- A guide to using Lua in Neovim☆5,951Sep 2, 2025Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆2,732Apr 7, 2026Updated last week
- Snippet Engine for Neovim written in Lua.☆4,319Apr 5, 2026Updated last week
- Better quickfix window in Neovim, polish old quickfix window.☆2,005Apr 2, 2026Updated last week
- Library of 40+ independent Lua modules improving Neovim experience with minimal effort☆8,978Updated this week
- A tree like view for symbols in Neovim using the Language Server Protocol. Supports all your favourite languages.☆1,842Jan 3, 2024Updated 2 years ago
- Improved fzf.vim written in lua☆4,177Apr 5, 2026Updated last week
- A more adventurous wildmenu☆1,473Jul 17, 2024Updated last year