CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
A large scale non-linear optimization library
Céline (Circuit Emulation Layer for Integrated Nonlinear Equation Solving) is an audio plugin for building and emulating circuits in real time. This tool is aimed at musicians who want to emulate analog hardware, and keeps the experimentation safe and portable.
Fast symbolic computation, code generation, and nonlinear optimization for robotics
With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization