iFR-OFC / casosView external linksLinks
CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.
☆17Feb 3, 2026Updated last 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 8 months ago
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Aug 4, 2024Updated last year
- A CasADi Python wrapper for the acados integrators.☆23Apr 30, 2024Updated last year
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆22May 24, 2023Updated 2 years ago
- 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
- ☆36Nov 5, 2024Updated last year
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- ☆11Jun 4, 2021Updated 4 years ago
- ☆95Dec 11, 2025Updated 2 months ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆36Jun 26, 2025Updated 7 months ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- ☆11Jan 8, 2026Updated last month
- Implementation of followinf estimation algorithms in python: Kalman Filter, Extended Kalman Filter, Unscented Kalman Filter, Cubature Kal…☆11Dec 2, 2023Updated 2 years ago
- Download and read data from CVRPLIB: http://vrp.atd-lab.inf.puc-rio.br/index.php/en/☆13Jan 23, 2026Updated 3 weeks ago
- Frenet Corridor Planner: high-efficient and noise-resilient optimal path planner.☆12Sep 2, 2025Updated 5 months ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated last month
- ☆10Jan 27, 2024Updated 2 years ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated last month
- ☆10Sep 13, 2024Updated last year
- A nonlinear MPC (NMPC) library for using a neural network as model.☆10Jul 30, 2024Updated last year
- ☆50Updated this week
- Panda's RobotModule and extensions for mc_rtc☆11Dec 16, 2025Updated last month
- Do notation in Python.☆10Feb 22, 2021Updated 4 years ago
- A package implementing various controllers for first order DS tasks☆10Sep 12, 2019Updated 6 years ago
- The stl files and code for the V2 DexHand☆46May 26, 2025Updated 8 months ago
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆12Oct 12, 2024Updated last year
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- A sum-of-squares toolbox for stability analysis☆10Dec 4, 2024Updated last year
- Jekyll plugin for GitHub flavored Markdown admonition syntax☆17Apr 8, 2025Updated 10 months ago
- Javascript tool for animation of linear physical systems☆16Aug 2, 2016Updated 9 years ago
- Cone Detection using dark flow YOLOv2 for formula student. Custom Dataset from google images☆10Dec 25, 2018Updated 7 years ago
- ☆12Nov 19, 2024Updated last year
- ☆12Jun 11, 2025Updated 8 months ago
- ☆10Mar 14, 2018Updated 7 years ago
- Simple python interface to be used with crisp_controllers.☆27Updated this week