PETSc as a solver for non-linear PDEs - View it on GitHub