PIPS-NLP

Software Package for Scalable Nonlinear Optimization [link]

DSP

Software Package for Scalable Mixed-Integer Programming [link]

Plasmo.jl

Graph-Based Modeling Package [link]