smithy-lang/smithy-rs

本页介绍外部开源仓库，并非 HDATF 产品。

它做什么

这是为Rust客户端、服务器和AWS SDK生成代码的Smithy代码生成器。项目明确说明其内部和外部接口尚不稳定。

AX consulting在考虑基于Rust的集成时，可以参考其客户端和服务器代码生成方法。

Apache-2.0 宽松许可，含专利授权。可商用，需保留声明并注明修改。

bendlang/bend
这是一种通过声明规则和数学证明检查代码正确性的编程语言。其编译器也支持并行执行。
miuuyy/codex-chatgpt-web
一个launcher，把ChatGPT Web模型（包括Pro）加入Codex的模型选择列表，使用ChatGPT Web自身的用量限制而不消耗Codex配额。其full harness模式通过MCP将任务的文件、终端、tool和审批连接到ChatGPT。
qiz029/dscode
DSCODE是基于DeepSeek Harness的macOS终端编程代理。持久化Shell、TUI、CLI和脚本共享会话运行环境，会话之间可以移交任务并请求独立审查。
pacifio/atlas
面向coding agent的源代码管理工具。每个checkpoint都会把提交与产生它的会话、prompt、tool调用和推理过程关联起来，Claude Code、Codex等agent可以共享memory，在同一代码库上并行工作。
zai-org/ZCode
这是提供桌面、浏览器和终端界面的AI编程工作台，仓库包含客户端、后端服务、共享UI、智能体CLI和运行时源码。

只收录进入 Trendshift 排行榜的仓库，榜单仅用于寻找候选项目，不转载名次。说明、许可证和星标数来自各 GitHub 仓库。解读是我们自己的判断。我们尚未测试这些项目，上榜并不证明质量。