Stars
This package provides access to the QuasiGrad solver, developed for the 3rd ARPA-E Grid Optimization (GO) Challenge.
📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.
Performance experiment - Pyomo vs JuMP
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
Fast and reliable solver for the Optimal Power Flow Problem
Python code to parse a Twitter archive and output in various ways
A fast and robust point cloud registration library
SOLNP+: A derivative-free optimization software
Muriqui Optimizer - A convex mixed integer nonlinear programming solver
A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming
Evaluating Robustness of Neural Networks with Mixed Integer Programming
Represent trained machine learning models as Pyomo optimization formulations
Cross-platform C++ and Python SDK for Ouster LiDAR sensors. Includes tools for visualization, data recording/replay, and sensor configuration
Alignment and Registration of 3D point Clouds via Mathematical Optimization
Mathematical Modeling for Optimization and Machine Learning
A public bookmark bar. Resources for computation, operations research, academia, and more.
A sparse polynomial optimization tool based on the moment-SOS hierarchy.
Code for benchmarking various techniques for intersection detection between 2 convex shapes
Implementations of the robust point set registration algorithm described in "Robust Point Set Registration Using Gaussian Mixture Models", Bing Jian and Baba C. Vemuri, IEEE Transactions on Pattern…
MATLAB implementation of the Scalable Semidefinite Programming
Implementation of the Go-ICP algorithm for globally optimal 3D pointset registration