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
99 forks
Language: Python
last commit: 3 months 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,526 |
 coq/coq | A formal proof management system for writing and verifying mathematical definitions and theorems. | 4,883 |
 nvim-lualine/lualine.nvim | A Neovim statusline plugin with customizable components written in Lua. | 6,353 |
 nvchad/nvchad | A Neovim configuration providing solid defaults and a beautiful UI to enhance the editing experience | 25,147 |
 microsoft/faster | A high-performance concurrent key-value store and log library designed for cloud applications. | 6,334 |
 folke/lazy.nvim | A plugin manager for Neovim that automates the installation, updating, and management of plugins. | 15,291 |
 pnpm/pnpm | A fast and disk space efficient package manager for Node.js projects. | 30,098 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 153 |
 ayamir/nvimdots | A well-configured Neovim setup with Lua configuration and plugins. | 2,963 |
 williamboman/mason.nvim | Manages external editor tooling for Neovim | 8,072 |
| folke/trouble.nvim | A tool to help developers diagnose and solve coding issues in real-time. | 5,701 |
 mit-han-lab/llm-awq | An open-source software project that enables efficient and accurate low-bit weight quantization for large language models. | 2,593 |
 nvim-tree/nvim-tree.lua | A plugin for Neovim that provides a graphical file explorer tree | 7,328 |
 nvimdev/dashboard-nvim | Provides a customizable dashboard experience in Neovim with features like low memory usage and blazing speed. | 2,439 |
 shougo/deoplete.nvim | Asynchronous completion framework for Neovim/Vim8 with Python interface | 5,948 |