CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.
☆18Mar 2, 2026Updated this week
Alternatives and similar repositories for casos
Users that are interested in casos are comparing it to the libraries listed below
Sorting:
- SIMBa☆14Feb 14, 2025Updated last year
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- A Julia modeling layer for the Generalized Moment Problem☆15May 26, 2025Updated 9 months ago
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Aug 4, 2024Updated last year
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆23May 24, 2023Updated 2 years ago
- A CasADi Python wrapper for the acados integrators.☆23Apr 30, 2024Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- ☆37Nov 5, 2024Updated last year
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- ☆11Jun 4, 2021Updated 4 years ago
- ☆101Dec 11, 2025Updated 2 months ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆36Jun 26, 2025Updated 8 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- Implementation of followinf estimation algorithms in python: Kalman Filter, Extended Kalman Filter, Unscented Kalman Filter, Cubature Kal…☆11Dec 2, 2023Updated 2 years ago
- ☆11Jan 8, 2026Updated last month
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated 2 months ago
- Download and read data from CVRPLIB: http://vrp.atd-lab.inf.puc-rio.br/index.php/en/☆13Jan 23, 2026Updated last month
- A nonlinear MPC (NMPC) library for using a neural network as model.☆10Jul 30, 2024Updated last year
- ☆10Jan 27, 2024Updated 2 years ago
- ☆10Feb 17, 2026Updated 2 weeks ago
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated 2 months ago
- Template for EPL's UCLouvain Ph.D. Theses☆11Dec 18, 2020Updated 5 years ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- Frenet Corridor Planner: high-efficient and noise-resilient optimal path planner.☆12Sep 2, 2025Updated 6 months ago
- ☆50Updated this week
- ☆12Jun 11, 2025Updated 8 months ago
- A sum-of-squares toolbox for stability analysis☆10Dec 4, 2024Updated last year
- ☆10Nov 29, 2023Updated 2 years ago
- Panda's RobotModule and extensions for mc_rtc☆11Dec 16, 2025Updated 2 months ago
- UI for the GoodProtocol smart contracts☆11Feb 27, 2026Updated last week
- Cone Detection using dark flow YOLOv2 for formula student. Custom Dataset from google images☆10Dec 25, 2018Updated 7 years ago
- ☆10Aug 13, 2024Updated last year
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- The stl files and code for the V2 DexHand☆48May 26, 2025Updated 9 months ago
- ☆12Nov 19, 2024Updated last year
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago