☆19May 16, 2023Updated 2 years ago
Alternatives and similar repositories for cvxpyanalyzer
Users that are interested in cvxpyanalyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Apr 28, 2026Updated last week
- Differentiation through cone programs☆118Jan 26, 2026Updated 3 months ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆18Apr 6, 2026Updated 3 weeks ago
- Disciplined convex stochastic programming. For the cvxstoc home page, please see:☆33Sep 15, 2020Updated 5 years ago
- ☆42Sep 18, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A CVXPY extension for multi-convex programming☆46Mar 27, 2023Updated 3 years ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- A CVXPY extension for saddle problems☆27Mar 1, 2026Updated 2 months ago
- ☆23Updated this week
- A free LDL factorisation routine☆103Apr 1, 2026Updated last month
- Code generation with CVXPY☆182Updated this week
- Simple command line interface to create repos based on templates☆36Mar 10, 2026Updated last month
- ☆78May 26, 2022Updated 3 years ago
- Prompting Techniques for Attorneys☆15Apr 1, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code for "Automatic repair of convex optimization problems".☆14Feb 4, 2020Updated 6 years ago
- A Python parser for generating Python/C/Matlab solver interfaces☆43Aug 19, 2017Updated 8 years ago
- Experimental Marimo extension for Agentic Notebooks -- integrating AI Agents into the Notebook workflow☆15Oct 11, 2025Updated 6 months ago
- CVQP: An operator splitting solver for large-scale CVaR-constrained quadratic programs☆28Mar 29, 2026Updated last month
- ☆28Apr 29, 2026Updated last week
- A utility for async batch jobs in marimo☆13Mar 12, 2025Updated last year
- Glue code for solving semidefinite programs in Cvxpy format using the SDPT3 package for Matlab.☆14Mar 25, 2020Updated 6 years ago
- Convex optimization modeling in Lean 4☆72May 31, 2024Updated last year
- A Julia interface to the SDPNAL+ solver☆13Apr 11, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A CVXPY extension for convex-concave programming☆135Mar 23, 2026Updated last month
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆40Oct 5, 2024Updated last year
- Example of an autoencoder set up for spectrograms, using Theano and Lasagne☆12Jan 13, 2016Updated 10 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆16Oct 23, 2023Updated 2 years ago
- Orchestration engine for durable workflows - orchestrate and observe computational workflows defined in plain Python.☆15Apr 27, 2026Updated last week
- ☆23Apr 27, 2026Updated last week
- A template repo for deploying marimo WebAssembly notebooks to GitHub Pages☆100Apr 21, 2026Updated 2 weeks ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python/Scipy toolbox for the design and simulation of ΔΣ Modulators, with emphasis on digital modulators☆22Aug 22, 2025Updated 8 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated last month
- Fixed Wing Aircraft Control☆17Aug 31, 2021Updated 4 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 4 months ago
- Distributed Optimization: Analysis and Synthesis via Circuits☆22Mar 10, 2026Updated last month
- Structured optimization in Julia☆75Jul 1, 2023Updated 2 years ago
- MsgPack Headers for R / msgpack.org[R]☆22Jan 27, 2026Updated 3 months ago