发现各种软件替代方案,找到更适合您的选择
Pyrefly 是 Python 的类型检查器和语言服务器,提供极速的类型检查,以及代码导航、语义高亮和代码补全等 IDE 功能。它可作为命令行工具和 VSCode 插件使用。
Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来,因此 Lean 也是一种编程语言。
KDL 是一种小巧而优雅的文档语言,具有类似 XML 的节点语义,看起来就像是在调用一系列命令行指令!它既可用作序列化格式,也可用作配置语言,类似于 JSON、YAML 或 XML。
quicktype 可为 C#、Swift、JavaScript、Flow、Python、TypeScript、Go、Rust、Objective-C、Kotlin、C++ 等语言生成解析 JSON 的类型和辅助代码。可通过在线工具自定义高级选项,或下载命令行工具。
Angular 文件生成器是 Visual Studio Code 的一个扩展,可让您通过几次点击即可生成 Angular 文件。它基于 Angular CLI,并使用与 CLI 相同的脚手架模板。它还支持从终端生成文件。
一个轻量级的 Visual Studio Code 扩展,用于 SysMLv2 文本建模。提供语法高亮、实时验证、跳转到定义、大纲视图以及可选的自动绘图生成功能。
将您的照片和视频、聊天记录与消息、位置历史、社交媒体内容、联系人等,整理成一个统一的时间线,存储在您自己的电脑上,永久保存并完全拥有。
一种用Zig编写的轻量级静态类型脚本语言。
Refact.ai 是一款开源的 AI 编程助手,可提升开发者的生产力。经过微调后,它可为你编写约 45% 的代码。Refact.ai 提供代码补全、重构、上下文感知聊天和 AI 工具箱功能,适用于个人及企业使用。
GPT-Code-Clippy(GPT-CC)是 GitHub Copilot 的开源版本,它基于 GPT-3 的语言模型——GPT-Codex,并在 GitHub 上公开的代码数据上进行了微调。
“gpt-token-counter-live” 是一个 Visual Studio Code 扩展,可在状态栏中显示所选文本或整个打开文档的标记数量。该标记数量通过 GPT 和 Claude 的分词器进行计算。

















