由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名
项目竞品项目
rocq-community/rocq-lsp
适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]
rocq-prover/opam
按不同仓库组织的所有Rocq和Coq相关opam包存档
alefragnani/vscode-project-manager
Visual Studio Code 的项目管理器扩展。
nix-community/nix-vscode-extensions
适用于VS Code Marketplace与Open VSX扩展的Nix表达式
sanjib-sen/WebLaTex
基于GitHub代码空间与开发容器的Overleaf完整替代方案，集成VSCode+网页端+Git协同+Copilot+语法拼写检查+实时协作功能
SpartanJ/ecode
专为现代硬件设计的轻量级跨平台代码编辑器，注重响应速度与性能表现。
editor-code-assistant/eca
编辑器代码助手——与编辑器无关的AI结对编程功能
voideditor/void
项目竞品项目否描述
Kilo-Org/kilocode
开源AI编程助手，用于规划、构建和修复代码。我们持续整合来自Roo Code和Cline等开源项目的特性，同时构建自己的愿景。关注我们：kilocode.ai/social
microsoft/monaco-editor
基于浏览器的代码编辑器
VSCodium/vscodium
无微软品牌/遥测/许可的VS Code二进制发行版
相关项目推荐
facebook/flow
为 JavaScript 添加静态类型系统，以提高开发人员生产力和代码质量
semgrep/semgrep
轻量级多语言静态分析工具。通过类源代码模式发现错误变体。
facebook/infer
面向 Java、C、C++ 和 Objective-C 的静态分析器
facebook/pyre-check
高性能的Python类型检查
ocaml/ocaml
核心 OCaml 系统：编译器、运行时系统和基础库
janestreet/magic-trace
magic-trace 能够采集并显示进程行为的高分辨率追踪数据