coq_nvim
by ms-jpq
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
AI summary
Completion plugin
A fast and feature-rich neovim plugin that provides advanced completion and snippet features.
- stars
- 3.6K
- forks
- 99
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
neoclide/coc.nvim24.5K
Extension host
An extension host for Vim and Neovim that integrates language servers and extensions
coq/coq4.9K
Proof assistant
A formal proof management system for writing and verifying mathematical definitions and theorems.
Statusline
A Neovim statusline plugin with customizable components written in Lua.
nvchad/nvchad25.1K
Editor config
A Neovim configuration providing solid defaults and a beautiful UI to enhance the editing experience
microsoft/faster6.3K
Cache
A high-performance concurrent key-value store and log library designed for cloud applications.
folke/lazy.nvim15.3K
Plugin manager
A plugin manager for Neovim that automates the installation, updating, and management of plugins.
pnpm/pnpm30.1K
Package manager
A fast and disk space efficient package manager for Node.js projects.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Nvim setup
A well-configured Neovim setup with Lua configuration and plugins.
Tool manager
Manages external editor tooling for Neovim
Code trouble solver
A tool to help developers diagnose and solve coding issues in real-time.
LLM Quantizer
An open-source software project that enables efficient and accurate low-bit weight quantization for large language models.
file explorer
A plugin for Neovim that provides a graphical file explorer tree
Dashboard
Provides a customizable dashboard experience in Neovim with features like low memory usage and blazing speed.
Completer
Asynchronous completion framework for Neovim/Vim8 with Python interface
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coq_nvim.
