CasADI

Working with professor Yash Pant, this library is mentioned pretty often. Can be used such as in MPC.

CasADi provides interfaces to solve quadratic programs (QPs).