casadi 是基础设施领域的开源项目,由 casadi 开发,2012 年首次发布。
在全站 13,635 个收录项目中,它的 GitHub 星标数(2,304)位列前 30%,在基础设施分类中处于中上游。
项目目前处于活跃维护状态,最近一次代码更新于 2026-10-02。开源免费(LGPL)。
它主要面向的使用场景是:机器人轨迹优化与最优控制。同类可对比的替代方案包括 PyTorch、JAX。

写符号表达式,自动求导并生成优化代码
CasADi 是一个面向数值优化的符号框架,核心是在稀疏矩阵计算图上实现前向与反向自动微分。它解决的是复杂动态系统优化中导数计算繁琐、求解器集成困难的问题:用户用符号变量描述目标与约束,框架自动生成高效导数代码,并可导出为自包含的 C 代码。它内置与 IPOPT、SUNDIALS、SNOPT 等成熟求解器的接口,支持 C++、Python、Matlab/Octave、Julia 和 JavaScript 多语言调用。典型用途包括最优控制、轨迹优化、机器人动力学、模型预测控制和参数估计。其稀疏处理与代码生成能力使其在嵌入式与实时优化场景中表现突出,是学术与工业界广泛采用的优化建模工具。
本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整
—
⚠ 该项目 README 未提供完整安装说明,以下步骤为通用流程,请以官方文档为准。
1打开项目官网
访问 http://casadi.org,了解 CasADi 的定位与能力,确认是否匹配你的最优控制、轨迹优化等场景。
2进入安装说明页
访问 http://install.casadi.org,这是 README 明确给出的安装入口,按你的操作系统与语言选择对应指引。
3确定语言与求解器
决定用 C++、Python、Matlab/Octave、Julia 还是 JavaScript 调用,并确认是否需要 IPOPT、SUNDIALS、SNOPT 接口。
4按官方指引安装
严格依照 install.casadi.org 上对应平台的步骤安装;README 节选未提供任何可复制的安装命令。
5跑通最小示例
安装后回到官网查看文档与示例,用符号变量写一个最简单的问题验证环境是否可用。
能成功加载 CasADi 并跑通官网示例即视为可用;README 未给出具体验证命令,请以安装说明页为准。
Q:README 里为什么没有安装命令?
A:节选内容只指向官网与安装说明链接,具体安装命令需到 http://install.casadi.org 查看,本教程不做臆测。
Q:CasADi 支持哪些调用语言?
A:支持 C++、Python、Matlab/Octave、Julia 和 JavaScript 多语言调用,可按团队技术栈选择其一。
Q:需要自己额外安装优化求解器吗?
A:CasADi 内置与 IPOPT、SUNDIALS、SNOPT 等求解器的接口,具体依赖与安装方式以官方安装说明为准。
Q:能否导出不依赖框架的代码?
A:可以,CasADi 支持把生成的导数代码导出为自包含的 C 代码,适合嵌入式与实时优化场景。
PyTorch、JAX
casadi 是基础设施领域的开源项目,由 casadi 开发,2012 年首次发布。
在全站 13,635 个收录项目中,它的 GitHub 星标数(2,304)位列前 30%,在基础设施分类中处于中上游。
项目目前处于活跃维护状态,最近一次代码更新于 2026-10-02。开源免费(LGPL)。
它主要面向的使用场景是:机器人轨迹优化与最优控制。同类可对比的替代方案包括 PyTorch、JAX。
上一篇:pooled
下一篇:没有了!
freebuff-proxy
开源
聚合多账号,一键接入 OpenAI 兼容 API,轻松管理会话。
[DEPRECATED / UNMAINTAINED] No longer maintained.
microduck
开源
用 Rust 造一只会走路的桌面小鸭,快速上手双足机器人。
A Tiny biped duck robot
soperator
开源
用 Kubernetes 原生方式运行 Slurm,简化 HPC 集群管理。
Run Slurm in Kubernetes
ollama
开源
一条命令本地跑起大模型,免费、私密、不卡顿
Get up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other···