hhijazi's Stars
mkdocs/mkdocs
Project documentation with Markdown.
cpm-cmake/CPM.cmake
📦 CMake's missing package manager. A small CMake script for setup-free, cross-platform, reproducible dependency management.
timhutton/twitter-archive-parser
Python code to parse a Twitter archive and output in various ways
MIT-SPARK/TEASER-plusplus
A fast and robust point cloud registration library
ERGO-Code/HiGHS
Linear optimization software
isl-org/FastGlobalRegistration
Fast Global Registration
khalil-research/PyEPO
A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming
yangjiaolong/Go-ICP
Implementation of the Go-ICP algorithm for globally optimal 3D pointset registration
ouster-lidar/ouster_example
Ouster, Inc. sample code
indilib/indi
INDI Core Library Repository
bing-jian/gmmreg
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 Analysis and Machine Intelligence, 2011, 33(8), pp. 1633-1645. For a Python implementation, please refer to http://github.com/bing-jian/gmmreg-python.
cog-imperial/OMLT
Represent trained machine learning models as Pyomo optimization formulations
Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
coin-or/Gravity
Mathematical Modeling for Optimization and Machine Learning
vtjeng/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
eltuck/Resources
A public bookmark bar. Resources for computation, operations research, academia, and more.
wangjie212/TSSOS
A sparse polynomial optimization tool based on the moment-SOS hierarchy.
alpyurtsever/SketchyCGAL
MATLAB implementation of the Scalable Semidefinite Programming
robust-opt-cpp/ROCPP
COPT-Public/SOLNP_plus
SOLNP+: A derivative-free optimization software
stanleybak/vnncomp2022
hhijazi/OPOMO
Fast and reliable solver for the Optimal Power Flow Problem
justine18/performance_experiment
Performance experiment - Pyomo vs JuMP
GOCompetition/C3DataUtilities
xmuriqui/muriqui
Muriqui Optimizer - A convex mixed integer nonlinear programming solver
AI4OPT/ml4acopf_benchmark
SamChevalier/QuasiGrad.jl
This package provides access to the QuasiGrad solver, developed for the 3rd ARPA-E Grid Optimization (GO) Challenge.
hhijazi/ARMO
Alignment and Registration of 3D point Clouds via Mathematical Optimization
horasio/intersection-detection
Code for benchmarking various techniques for intersection detection between 2 convex shapes
PIPS-IPMpp/PIPS-IPMpp