ms-jpq/coq_nvim
Coq Nvim
coq_nvim is an asynchronous code completion engine for Neovim. It aggregates suggestions from multiple sources, including language servers, tag files, and local buffers, to provide non-blocking code completion.
The engine distinguishes itself through a typo-resistant fuzzy completion filter and a two-stage weighted ranking system that prioritizes candidates based on recency and proximity. It utilizes an embedded SQLite database for local caching and background symbol indexing to accelerate lookups without freezing the editor interface.
The project also includes a system for defining and expanding reusable code snippets, support for path resolution, and the ability to extract completion data from tmux sessions. Visual aids such as ghost-text previews and documentation buffers provide additional context for selected items.
The framework is extensible through custom source adapters and provides tools for analyzing completion performance and request timing.
Features
- Completion Engines - Provides an asynchronous completion engine that aggregates data from multiple sources for real-time text suggestions.
- Completion Engines - Provides a centralized configuration object to manage the global behavior and preferences of the Neovim completion engine.
- Completion Filtering - Fetches intelligent code suggestions from language servers with the ability to filter specific servers to refine results.
- Multi-Source Completion Integrators - Integrates multiple completion sources, including LSP servers and local buffers, through a unified interface.
- Completion Item Adapters - Converts output from external functions into standardized completion items via custom adapters.
- Fuzzy-Search Project Navigators - Locates relevant code symbols in large projects using typo-resistant fuzzy ranking and background indexing.
- Language Server Integrations - Implements Language Server Protocol integrations to provide IDE-agnostic code intelligence within the editor.
- LSP Editor Integrations - Integrates with Language Server Protocol servers to fetch intelligent code suggestions while managing concurrency and caching.
- Neovim Plugins - Provides a comprehensive asynchronous code completion framework as a plugin for the Neovim editor.
- LSP Clients - Implements the client-side logic required to communicate with language servers for intelligent code completions in Neovim.
- Asynchronous Editor Query Handling - Processes heavy completion data and indexing in the background via a concurrent scheduler to maintain editor responsiveness.
- Completion Fuzzy Sorters - Sorts completion candidates using a ranking system based on typo resistance and proximity bonuses.
- Completion Reranking - Prioritizes completion candidates using a two-stage weighted ranking based on fuzzy distance, recency, and proximity.
- Grammar-Based Definitions - Defines reusable code fragments using a specific grammar to facilitate asynchronous completion.
- Provider Deadline Scheduling - Balances fast and slow completion sources by waiting for slower providers only if no other results are available.
- Local Data Caches - Utilizes an embedded SQLite database to cache indexed symbols and completion data locally.
- Fuzzy Matching - Implements typo-resistant fuzzy matching algorithms to identify intended symbols despite character deletions or transpositions.
- Symbol Caching - Utilizes an embedded SQLite database to cache and index symbols, accelerating lookups without freezing the editor.
- Fuzzy Code Completions with Frecency - Ranks completion candidates using typo-resistant fuzzy matching combined with usage frequency and cursor proximity.
- Snippet Expanders - Inserts reusable code templates into the editor using a non-blocking asynchronous completion engine.
- Snippet Templates - Offers a dedicated system for defining and inserting reusable code templates to accelerate development.
- File Path Autocompletion - Provides filesystem path suggestions relative to the current directory or file, including environment variable expansion.
- Snippet Collection Loading - Loads reusable code templates from local directories for insertion into the editor.
- Symbol Indexing - Generates symbol maps in the background to enable fast, non-blocking code navigation and completion.
- Interactive Snippet Expansion - Inserts predefined code templates with support for linked regions and live replacement placeholders.
- Third-Party Source Integration - Extends completion capabilities by integrating modular external plugins and sources with transparent caching.
- Path Completion Base Directory Configurators - Resolves the base directory for path completion by evaluating the current working directory or the file's parent.
- Completion Item Standardizers - Standardizes output from diverse external plugins and language servers into a uniform completion item format.
- Completion Process Offloading - Offloads completion processing to background tasks to prevent the editor interface from freezing during server requests.
- Deadline-Based Schedulers - Aggregates results from multiple asynchronous providers using deadlines to balance fast and slow completion sources.
- Incremental Syntax Tree Updaters - Analyzes document structure through incremental syntax tree updates to generate context-aware suggestions.
- Syntax Tree Analysis - Generates context-aware completion suggestions by parsing document structure via syntax trees using TreeSitter.
- Task Result Aggregation - Gathers outputs from multiple asynchronous completion providers into a single unified structure without freezing the interface.
- Search Result Ranking - Sorts completion suggestions using a two-stage weighted process to prioritize the most relevant matches.
- Buffer Completion Systems - Provides context-aware word suggestions based on the content of the active text buffer and clipboard registers.
