A Zenburn-based style for GtkSourceView and applications such as Gedit.

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 …

Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control