lxc-xx / YASSView external linksLinks
Yet Another SDP Solver
☆10Dec 19, 2015Updated 10 years ago
Alternatives and similar repositories for YASS
Users that are interested in YASS are comparing it to the libraries listed below
Sorting:
- A C++ implementation of Network Simplex Algorithm☆11Nov 12, 2018Updated 7 years ago
- PIPS-IPM++ - a massively parallel interior point method for primal-dual block angular Linear Programms☆24May 3, 2023Updated 2 years ago
- Kalman filter using C++ and Manif☆29Aug 16, 2024Updated last year
- An open-source library crafting efficient algorithms for Mixed Integer Linear Programming (MILP) challenges.☆12May 4, 2024Updated last year
- Column_Generation_Algorithm using Cplex☆11Jan 18, 2019Updated 7 years ago
- A semidefinite program solver for the conformal bootstrap.☆68Dec 10, 2025Updated 2 months ago
- Generic and efficient MATLAB solver for nonsmooth optimization problems☆27Jan 27, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Fast Sparse Multifrontal Solver☆11May 27, 2015Updated 10 years ago
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 10 months ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Punch Out Model Synthesis - a program for constraint based tiling generation☆18Feb 1, 2026Updated 2 weeks ago
- Official code for AL-PINNS: Augmented Lagrangian relaxation method for Physics-Informed Neural Networks☆12Jul 29, 2023Updated 2 years ago
- BBO optimiser☆11Feb 11, 2020Updated 6 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- Software library RLCM (recursively low-rank compressed matrices)☆14Apr 15, 2021Updated 4 years ago
- Machine-learning-based column selection☆40Dec 21, 2021Updated 4 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- B plus tree for DB project☆12May 4, 2015Updated 10 years ago
- Group project "Algorithms for large-scale optimal transport". Implement ADMMs and Sinkhorn's Algorithms.☆11Jan 28, 2019Updated 7 years ago
- AscTec quadrotor drivers☆17Aug 22, 2019Updated 6 years ago
- Library for working with 3D rotations in Matlab/Octave☆12Mar 18, 2022Updated 3 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Jun 27, 2016Updated 9 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- A simple inverse kinematics simulator with Python and PyGame☆12Oct 13, 2020Updated 5 years ago
- Simulation system for path planning evaluation☆14Dec 13, 2025Updated 2 months ago
- ☆10Sep 16, 2020Updated 5 years ago
- Bloom filters in Julia☆18Jul 11, 2019Updated 6 years ago
- Implementation of Stochastic Gradient Langevin Dynamics☆13Sep 29, 2018Updated 7 years ago
- Anderson Acceleration for Nonconvex ADMM Based on Douglas-Rachford Splitting☆10Jun 25, 2020Updated 5 years ago
- The Quadratic Primal-Dual Optimizer☆13May 13, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated last week