Embedded code generation for convex optimization, based on CVXPY
☆22Nov 25, 2017Updated 8 years ago
Alternatives and similar repositories for cvxpy_codegen
Users that are interested in cvxpy_codegen are comparing it to the libraries listed below
Sorting:
- Library for High-Performance implementation of solvers for MPC.☆60Jun 28, 2025Updated 8 months ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- Extension of Convex.jl for disciplined multiconvex optimization☆10Feb 22, 2017Updated 9 years ago
- Linear Model Predictive Control (MPC) examples using Matlab and CVX☆17Feb 26, 2016Updated 10 years ago
- ADMM for Mixed-Integer Quadratic Programming☆43Apr 12, 2016Updated 9 years ago
- Kerbal Space Program中的GFOLD着陆轨迹规划实现☆77Jan 25, 2023Updated 3 years ago
- A CVXPY extension for multi-convex programming☆46Mar 27, 2023Updated 2 years ago
- A Julia implementation of PRONTO☆23Feb 12, 2025Updated last year
- ☆18Jan 14, 2016Updated 10 years ago
- A physical and virtual cartpole☆24Feb 11, 2019Updated 7 years ago
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Jun 11, 2025Updated 8 months ago
- Demonstration of the PIPG algorithm for trajectory optimization☆25Jun 26, 2022Updated 3 years ago
- ☆32Feb 23, 2026Updated last week
- Aerospace 6-DoF Simulation Platform.☆19Jan 7, 2021Updated 5 years ago
- you know what it is☆28Dec 11, 2017Updated 8 years ago
- test repo for Algorithms for Optimization☆31Jul 31, 2022Updated 3 years ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Aug 19, 2017Updated 8 years ago
- FLUIDS is a lightweight driving simulator for benchmarking Deep Reinforcement and Imitation learning algorithms.☆24May 3, 2019Updated 6 years ago
- A fork of the Systems Polynomial Optimization Toolbox.☆30Oct 22, 2018Updated 7 years ago
- Community developed library of code examples for the kRPC mod.☆29Jul 30, 2017Updated 8 years ago
- SLOSH-ML is a Matlab graphical user interface designed to analyze rocket propellant sloshing in space launch vehicles☆15Dec 30, 2025Updated 2 months ago
- Conic Augmented Lagrangian Interior-Point SOlver☆77Dec 14, 2022Updated 3 years ago
- Sift client libraries and protocol buffers☆17Updated this week
- Symphony — A decentralized multi-agent framework that enables intelligent agents to collaborate seamlessly across heterogeneous edge devi…☆30Oct 30, 2025Updated 4 months ago
- ☆11Jun 27, 2024Updated last year
- The repo contains source code of sampling-based LTL (linear temporal logic) path planning project.☆11Sep 19, 2023Updated 2 years ago
- MATLAB prototype code for PEGAS☆39Jul 4, 2018Updated 7 years ago
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆85Nov 14, 2022Updated 3 years ago
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago
- ☆10Apr 11, 2023Updated 2 years ago
- The software for the Ribbit Network Frog Sensor☆12Jun 2, 2025Updated 9 months ago
- Efficient Learning Interpretable Shapelets for Accurate Time Series Classification, ICDE 2018☆14Feb 23, 2018Updated 8 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- Fast Solution of Optimal Control Problems With L1 Cost☆10Aug 9, 2019Updated 6 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆10Jan 16, 2025Updated last year
- R7019R Spacecraft Subsystems. Thermal transient analysis of a satellite.☆12Apr 26, 2018Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year