spec

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

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

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

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

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

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

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

Dart语言设计

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

Compose 规范

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

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

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

Advanced PCB auto-router

停止手动提示，开始精确指定

从自动化创意工厂到实现

Siri 快捷指令编程语言 🍒

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

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

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

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

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

Scala基础构建模块

Plan-Apply-Unify Loop — Structured AI-assisted development for Claude Code. Quality over speed-for-speed's-sake.