How do I set up coq.nvim with Neovim's LSP?

After installing coq_nvim, wrap your LSP server setup with coq.lsp_ensure_capabilities, as shown in the README for both legacy and new styles. This requires adding a few lines to your configuration to enable LSP snippets and capabilities.

coq.nvim vs nvim-cmp: which is better for speed?

coq.nvim prioritizes raw speed with native C optimizations and SQLite caching, claiming results on every keystroke. In contrast, nvim-cmp is pure Lua and may be more modular, but coq.nvim is designed for maximum performance if you can handle its dependencies.

Why does the completion menu flicker in coq.nvim?

Flickering occurs because coq.nvim clears old results on each keystroke by default for freshness. You can disable 'display.pum.fast_close' in settings to prevent this, but it may show stale results until new ones arrive, especially with slow LSP servers.

How can I disable Treesitter completions to avoid crashes?

Treesitter completions are enabled by default but can be unstable. To disable, adjust your coq_settings to limit or turn off the Treesitter source, or rely on other sources like LSP and CTags, as mentioned in the Treesitter section of the README.

What are the default keybindings for coq.nvim?

Default keybindings include for manual completion, for snippet editing, and when the menu is open, for next result, for previous, and to select. Full details are in KEYBIND.md via :COQhelp keybind.

How to fix missing completions from slow LSP servers?

Increase 'completion_auto_timeout' in coq_settings to wait longer for LSP responses, or use the manual completion hotkey ( ). However, this may slow down overall feedback or require multiple presses, as noted in the FAQ about LSP speed.

Open-Awesome

coq_nvim

GPL-3.0Lua

A high-performance, feature-rich autocompletion engine for Neovim with SQLite caching, concurrent scheduling, and extensive language support.

GitHub

3.8k stars103 forks0 contributors

What is coq_nvim?

coq.nvim is a fast and powerful autocompletion plugin for Neovim designed to provide real-time suggestions on every keystroke. It integrates multiple sources like LSP, snippets, Treesitter, and CTags, prioritizing speed through native C optimizations and SQLite caching. This makes it a comprehensive solution for developers seeking a responsive and intelligent coding assistant.

Target Audience

Neovim users, particularly developers who prioritize speed and a feature-rich autocompletion experience, including those working with multiple languages and complex projects requiring LSP, snippet, and context-aware completions.

Value Proposition

Developers choose coq.nvim for its unparalleled speed, achieved through native C B-trees and SQLite VM interrupts, and its extensive feature set including over 9,000 built-in snippets, fuzzy search with error correction, and real-time performance statistics. It offers a seamless, non-intrusive autocompletion experience that integrates deeply with the Neovim ecosystem.

Overview

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Use Cases

Best For

Neovim users seeking real-time, unthrottled autocompletion on every keystroke.
Developers needing robust LSP integration with incremental completion, client-side caching, and multi-server support.
Programmers who want extensive snippet support with over 9,000 built-in snippets and a live REPL for custom snippet creation.
Users looking for a typo-resistant fuzzy search with recency and proximity bonuses for efficient code navigation.
Developers requiring performance monitoring via real-time statistics and configurable display settings.
Those integrating multiple completion sources like Treesitter, CTags, buffer words, paths, and third-party plugins into a unified interface.

Not Ideal For

Developers using older systems with Python < 3.8.2, Neovim < 0.5, or lacking SQLite support, as these are minimum requirements.
Users seeking a minimal, out-of-the-box autocompletion plugin without managing multiple dependencies (coq_nvim, coq.artifacts, coq.thirdparty) and manual LSP configuration.
Projects heavily reliant on Treesitter for context-aware completions in large files, since the README notes it's unstable and slow in Neovim 0.5.
Those prioritizing AI-powered completions like Tabnine, as it's disabled by default due to high CPU usage and might be removed.

Pros & Cons

Pros

Blazing Fast Performance

Uses native C B-trees and SQLite VM interrupts to deliver results on every keystroke without throttling, as highlighted in the PERFORMANCE.md.

Advanced Fuzzy Search

Features typo-resistant search with recency and proximity bonuses, plus error correction like 'cour' -> 'colour_space', detailed in FUZZY.md.

Comprehensive LSP Integration

Supports incremental completion, client-side caching, multi-server completions, and snippet expansion, requiring only two lines of change for LSP setup.

Extensive Snippet Library

Includes over 9,000 built-in snippets with a live REPL for custom snippet creation, covering 99% of LSP grammar and 95% of Vim grammar.

Cons

Unstable Treesitter Integration

Treesitter source is slow and crash-prone in Neovim 0.5, limited to parsing near the cursor and idle events, making it unreliable for large files.

High Resource Usage Concerns

Tabnine integration is disabled by default due to high CPU usage, and the author considers removing it, citing issues from Tabnine's bug tracker.

Complex Configuration

Requires installing and configuring multiple separate plugins (coq_nvim, coq.artifacts, coq.thirdparty) and manual LSP setup with coq.lsp_ensure_capabilities.

Frequently Asked Questions

Related Projects

nvim-cmp

A completion plugin for neovim coded in Lua.

Stars9,474

Forks436

Last commit14 days ago

nvim-mini/mini.nvim#mini.completion

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

Performant, batteries-included completion plugin for Neovim

Stars6,472

Forks355

Last commit9 days ago

copilot.lua

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

Stars4,092

Forks160

Last commit23 hours ago

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub