spec

多模型协作开发工具集 - 基于 Claude Code CLI，集成 Codex/Gemini 后端能力，提供智能路由、代码审查、Git 工具等 17 个以上命令

用Go编写的简单快速的反审查工具

开源深度数据包检测软件工具包

deeplearning.ai在Coursera平台提供的深度学习专项课程全部资料：神经网络与深度学习；改进深度神经网络：超参数调优、正则化与优化；构建机器学习项目；卷积神经网络...

Autonomous AI sales agent powered by Claude Code or Codex. Finds prospects, writes cold emails, sends campaigns, handles replies, books meetings. No API keys needed — runs on your Claude or Codex subscriptions.

基于OpenAPI的HTTP客户端代码生成器

针对常见Rails功能的单行测试

Kiro是一款智能集成开发环境，能够从原型设计到生产部署全程协同工作。

WebAssembly规范、参考解释器及测试套件。

用于制作或改进游戏中的宽屏分辨率支持、添加更多功能并修复错误的插件。

InSpec: Auditing and Testing Framework

Dart语言设计

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

Compose 规范

zot - 一个横向扩展、生产就绪、供应商中立的 OCI 原生容器镜像/工件注册表（完全基于 OCI 分发规范）

海量异构三维地理空间数据流技术规范 🌎

Comet：将创意转化为可评估工作流的智能体技能工具

先进的PCB自动布线器

Bandit 是一个用于 Plug & WebSock 应用程序的纯 Elixir HTTP 服务器

基于 Material Design 3 的 Android 版 YouTube Music 客户端

MLX 速度提高 3 倍 |酷文3.8 27B | Apple Silicon 上的本机 MTP 推测解码，无需外部起草器。

从自动化创意工厂到实现

Siri 快捷指令编程语言 🍒

具备17项AI技能、6个工作代理及人员CRM的自我进化第二大脑——灵感源自Garry Tan的gstack和gbrain。兼容Claude Code、Cursor、Kiro、Gemini CLI、Codex。