Wikipedia
CasADi
CasADi is a free and open source symbolic framework for automatic differentiation and optimal control.