differentiable-programming

在 Python 中实现高效、可移植且具生产力的 GPU 编程

用于 GPU 加速仿真、机器人和机器学习的 Python 框架

一个具有可编程推断功能的通用概率编程系统

LLVM 与 MLIR 的高性能自动微分。

用于非线性最佳化控制与非线性模型预测控制的快速嵌入式求解器

基于 Pytorch 的框架，用于解决参数化约束优化问题、物理知情系统辨识以及参数化模型预测控制。

JAX 中的硬件加速、可批处理且可微分的优化器。

Python 中的综合光学设计、优化和分析，包括通过 PyTorch 实现 GPU 加速和可微分光线追踪。

:

使用 JAX 的可微分有限元法

TorchOpt 是一个基于 PyTorch 构建的高效可微分优化库。

Enzyme 自动微分工具的 Julia 绑定。

🧩 具备代数数据类型的形状安全符号微分