spec

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

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

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

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

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

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

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

Dart语言设计

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

Compose 规范

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

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

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

先进的PCB自动布线器

基于 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。

🏄🏼‍♂️ 编程智能体的黑板 — 从创意到合并，全程无需动手

一个可编程的中间人代理，可拦截HTTP/HTTPS流量，让您无需猜测应用的行为。支持正向与反向模式、TLS拦截、终端界面、命令行及Web图形界面。

EEGLAB是一个基于Matlab运行的开源电生理信号处理环境，由SCCN/UCSD开发

为提升易用性、全面性与效率而设计的模型压缩工具包。

你想用 AI 构建产品，但设置正确的上下文、提示词和工作流需要时间。AI Factory 处理所有这些，让你专注于真正重要的事——交付高质量的代码。