A library for differentiable nonlinear optimization. - View it on GitHub