☆18May 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
Sorting:
- ☆24Updated this week
- Differentiation through cone programs☆117Jan 26, 2026Updated last month
- ☆42Sep 18, 2020Updated 5 years ago
- A CVXPY extension for multi-convex programming☆46Mar 27, 2023Updated 2 years ago
- A free LDL factorisation routine☆101Nov 24, 2025Updated 3 months ago
- A CVXPY extension for saddle problems☆28Updated this week
- Code generation with CVXPY☆178Feb 19, 2026Updated 2 weeks ago
- Simple command line interface to create repos based on templates☆36Feb 27, 2026Updated last week
- ☆77May 26, 2022Updated 3 years ago
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning☆38Jul 27, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Python app for black-litterman portfolio optimisation☆10Dec 8, 2022Updated 3 years ago
- Minimal example to access PyBullet using C++☆12Mar 19, 2021Updated 4 years ago
- CBE 30338 Chemical Process Control☆14Feb 27, 2024Updated 2 years ago
- Python class to perform AB test analysis☆14Jan 13, 2022Updated 4 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- ☆19Feb 24, 2026Updated last week
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆39Oct 5, 2024Updated last year
- Customized Openvslam for IR and RGB images☆16Oct 13, 2020Updated 5 years ago
- Code for the paper "Interpreting video features: A comparison of 3D Convolutional networks and Convolutional LSTM networks"☆11Dec 14, 2020Updated 5 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Software for processing high-speed video recordings from Unsteady Pressure-Sensitive Paint (UPSP) measurement systems. https://nasa.githu…☆18Aug 14, 2023Updated 2 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- This repository contains the hardware implementation for Static BFP convolution on FPGA☆10Oct 15, 2019Updated 6 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- Apply different deep learning models to limit order book.☆11Mar 6, 2018Updated 8 years ago
- A utility for async batch jobs in marimo☆13Mar 12, 2025Updated 11 months ago
- Bot yang menjalankan Neo Jakarta War Bot 2050☆11Dec 9, 2022Updated 3 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- ☆10Jun 5, 2021Updated 4 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- ☆12Aug 28, 2020Updated 5 years ago
- TensorFlow implementation of the Dissimilarity Mixture Autoencoder: https://arxiv.org/abs/2006.08177☆13Dec 8, 2022Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- ☆11Sep 14, 2024Updated last year