开源序
GitHub 开源项目排行
返回榜单
M
ms-jpq /
coq_nvim
快得像操 nvim 一样完成。 SQLite，并发调度程序，数百小时的优化。
仓库 Star
3,811
总榜 #16,221
Fork
105
最近推送
7 天前更新
仓库创建
2020 年创建
插件与扩展
编辑器插件
Lua
GPL-3.0 · 需开源衍生作品
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
开发者工具
# completion
# neovim
# neovim-plugin
原始观测记录 · 2
历史观测
采集时间
仓库 Star
数据来源
2026-11-06 10:57 UTC
3,811
数据来源
2026-11-03 09:39 UTC
3,810
数据来源
