spec

适用于编码代理及其他领域的终极安全带。所有你的代理人。你所有的机器。指挥中心一处。从代码开始，然后跟随您的好奇心并跨学科进行构建：CAD、电路、机器人、游戏和音乐。

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

一个可编程的中间人代理，可拦截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.

滤波器设计、周期图、窗函数及其他数字信号处理功能

Scala语言的Mockito

Zcash改进提案

统计参数映射开发版

Modelica语言规范

基于JAX的高效可微分n维偏微分方程求解器。

用于在神经网络上实施逻辑规范的工具包

CliMA模型动力核心

生物多样性信息学工作台

观察、调试和了解正在运行的 BEAM 系统

Salam 是一种通用系统编程语言，专为高效软件开发而设计，具有内置的领域特定语言 (DSL)

链式意图开发——一种面向智能体编程的SDD方法论

🤖 Algolia API规范及其自动生成的客户端与文档的单一仓库

适用于IBM Storage Scale（或GPFS）的云资源预配框架