A Python parser for generating Python/C/Matlab solver interfaces
☆43Aug 19, 2017Updated 8 years ago
Alternatives and similar repositories for qcml
Users that are interested in qcml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆42Sep 18, 2020Updated 5 years ago
- A pure-Julia SOCP solver☆10Dec 30, 2020Updated 5 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 3 years ago
- A C++ Second Order Cone Solver based on Eigen☆34Sep 19, 2021Updated 4 years ago
- usb to can adapter for motor modules☆17Aug 8, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Embedded code generation for convex optimization, based on CVXPY☆22Nov 25, 2017Updated 8 years ago
- A lightweight conic solver for second-order cone programming.☆542Jun 10, 2024Updated last year
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Apr 6, 2023Updated 2 years ago
- This is the Pytorch version of the VisualBack prop algorithm on the VGG16 model. Theoretical description of the algorithm can be found fo…☆11Feb 7, 2019Updated 7 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Feb 12, 2026Updated last month
- Approximate Multiparametric Mixed-integer Convex Programming☆15May 16, 2019Updated 6 years ago
- Ph.D. thesis template based on the design guidelines of New York University - Tandon School of Engineering☆12Aug 21, 2018Updated 7 years ago
- hyb: a bioinformatics pipeline for the analysis of CLASH (crosslinking, ligation and sequencing of hybrids) data☆13Jul 12, 2024Updated last year
- Modern C++ study☆18May 19, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Install the Syriac Aramaic keyboard on your Mac☆11Jan 15, 2022Updated 4 years ago
- ☆15Nov 4, 2019Updated 6 years ago
- Library to convert OpenTSDB data to pandas datastructures☆15Jan 4, 2016Updated 10 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- An official MATLAB implementation of the paper "A Versatile Approach for Solving PnP, PnPf, and PnPfr Problems", ECCV2016.☆13Sep 30, 2021Updated 4 years ago
- StyleGAN for 3D image generation☆14Sep 24, 2019Updated 6 years ago
- design, solve and estimate discrete dynamic programs.☆19Jun 21, 2024Updated last year
- Cython based wrapper for IRTK☆10Oct 13, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- Single header implementation of the Universal Chess Interface (UCI) protocol.☆11Jan 27, 2026Updated last month
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- An Unoffical Implementation of PeleeNet by TensorFlow, Keras☆14Jun 17, 2019Updated 6 years ago
- BiC-MPPI: Goal-Pursuing, Sampling-Based Bidirectional Rollout Clustering Path Integral for Trajectory Optimization☆20Sep 25, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Customized Openvslam for IR and RGB images☆16Oct 13, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Reads ImageJ ROI files into numpy arrays.☆14Feb 21, 2019Updated 7 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- ☆11May 31, 2016Updated 9 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Easy package versioning and release management☆12Jan 3, 2019Updated 7 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year