3 open source tools found
微软出品免费开源代码编辑器，全球最流行。
微软出品免费开源代码编辑器，支持智能补全、调试、Git和扩展，全球最受欢迎。
比 Mypy 快 15 倍的类型检查器，Instagram 在用，还能自动补全和导航代码。
极速 Python 类型检查器和语言服务器，经 Meta 2000 万行代码验证，速度是 Mypy/Pyright 的 15 倍，IDE 响应低于 10 毫秒，即装即用。
多 AI 代理并行工作，自带订阅，工作树隔离，桌面与移动端同步。
Orca 是下一代 IDE，让你在隔离的 Git 工作树中并行运行多个 AI 编码代理（Claude Code、Codex 等），自带订阅即可使用，支持桌面和移动端。