Mario Souto's starred repositories
deepchecks
Deepchecks: Tests for Continuous Validation of ML Models & Data. Deepchecks is a holistic open-source solution for all of your AI & ML validation needs, enabling to thoroughly test your data and models from research to production.
mujoco_mpc
Real-time behaviour synthesis with MuJoCo, using Predictive Control
testing-ml
🔍 Minimal examples of machine learning tests for implementation, behaviour, and performance.
Octavian.jl
Multi-threaded BLAS-like library that provides pure Julia matrix multiplication
Clarabel.jl
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.
iris-distro
Iterative Regional Inflation by SDP
mle-hyperopt
Lightweight Hyperparameter Optimization đźš‚
Pajarito.jl
A solver for mixed-integer convex optimization
ProxSDP.jl
Semidefinite programming optimization solver
ParameterJuMP.jl
A JuMP extension to use parameter in constraints RHS
scs-python
Python interface for SCS
benchmarks
A repository for long-term benchmarking of JuMP performance
brkga_mp_ipr_cpp
The Multi-Parent Biased Random-Key Genetic Algorithm with Implict Path Relink - C++ version
DynamicallyLoadedEmbedding.jl
Embed Julia with dynamical loading of libjulia at runtime.