A library for differentiable nonlinear optimization - View it on GitHub