The pure-Scala IR components of OptiCVX - View it on GitHub