CasADi

CasADi: 数值优化和自动微分库

MeshCat: 基于three.js的远程可控3D可视化工具