High-performance and differentiation-enabled nonlinear solvers (Newton methods), bracketed rootfinding (bisection, Falsi), with sparsity and Newton-Krylov support.
Why do you think that https://github.com/SciML/Surrogates.jl is a good alternative to NonlinearSolve.jl