coq_nvim
Completion plugin
A fast and feature-rich neovim plugin that provides advanced completion and snippet features.
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
4k stars
16 watching
100 forks
Language: Python
last commit: 5 days ago
Linked from 1 awesome list
completionneovimneovim-plugin
rockerboo/awesome-neovimRelated projects:
| Repository | Description | Stars |
|---|---|---|
 neoclide/coc.nvim | An extension host for Vim and Neovim that integrates language servers and extensions | 24,476 |
 coq/coq | A formal proof management system for writing and verifying mathematical definitions and theorems. | 4,859 |
 nvim-lualine/lualine.nvim | A Neovim statusline plugin with customizable components written in Lua. | 6,228 |
 nvchad/nvchad | A Neovim configuration providing solid defaults and a beautiful UI to enhance the editing experience | 24,904 |
 microsoft/faster | A high-performance concurrent key-value store and log library designed for cloud applications. | 6,321 |
 folke/lazy.nvim | A plugin manager for Neovim that automates the installation, updating, and management of plugins. | 14,855 |
 pnpm/pnpm | A fast and disk space efficient package manager for Node.js projects. | 29,784 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 ayamir/nvimdots | A well-configured Neovim setup with Lua configuration and plugins. | 2,946 |
 williamboman/mason.nvim | Manages external editor tooling for Neovim | 7,929 |
| folke/trouble.nvim | A tool to help developers diagnose and solve coding issues in real-time. | 5,608 |
 mit-han-lab/llm-awq | A tool for efficient and accurate weight quantization in large language models | 2,517 |
 nvim-tree/nvim-tree.lua | A plugin for Neovim that provides a graphical file explorer tree | 7,252 |
 nvimdev/dashboard-nvim | Provides a customizable dashboard experience in Neovim with features like low memory usage and blazing speed. | 2,392 |
 shougo/deoplete.nvim | Asynchronous completion framework for Neovim/Vim8 with Python interface | 5,944 |