The Mixing method: coordinate descent for low-rank semidefinite programming
☆15Apr 30, 2021Updated 4 years ago
Alternatives and similar repositories for mixing
Users that are interested in mixing are comparing it to the libraries listed below
Sorting:
- ☆33Nov 27, 2024Updated last year
- Benchmark testbed for assessing the performance of optimisation algorithms☆85Jan 7, 2015Updated 11 years ago
- Latex starters for creating a CMU thesis or thesis proposal☆36May 30, 2017Updated 8 years ago
- MultiscaleGraphSignalTransforms.jl is a collection of software tools written in the Julia programming language for graph signal processin…☆11Sep 13, 2025Updated 5 months ago
- ☆13Mar 9, 2017Updated 8 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆427Nov 22, 2022Updated 3 years ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated 2 months ago
- ☆13Nov 5, 2025Updated 3 months ago
- ☆12Feb 20, 2021Updated 5 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 4 years ago
- Code implementation for paper AbsenceBench: Language Models Can't Tell What's Missing☆17Oct 23, 2025Updated 4 months ago
- SmallK: very fast data clustering tools☆14Apr 3, 2019Updated 6 years ago
- Ridiculously fast random subset sampling☆14Oct 8, 2017Updated 8 years ago
- A sum-of-squares toolbox for stability analysis☆10Dec 4, 2024Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- Learning globally stable dynamical systems policies through imitation. A modification of the original work, focussing on waypoint-based i…☆12Oct 12, 2024Updated last year
- Simulate and Render MuJoCo in the Browser with 3DGS.☆34Feb 4, 2026Updated 3 weeks ago
- UI for the GoodProtocol smart contracts☆11Feb 19, 2026Updated last week
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- ☆12Nov 19, 2024Updated last year
- A novel general non-stationary point process model based on neural networks.☆11Sep 23, 2022Updated 3 years ago
- A web-based animation coloring tool, capable of reconstructing sketches into colored images.☆12Mar 22, 2021Updated 4 years ago
- ☆10Feb 22, 2023Updated 3 years ago
- ☆10Aug 13, 2024Updated last year
- Build-to-Order BLAS☆12Apr 9, 2019Updated 6 years ago
- 三國殺☆11Feb 22, 2026Updated last week
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- A pytorch toolbox designed for experimentation using a generalization of the Resnet design.☆15Jul 6, 2023Updated 2 years ago
- A package implementing various controllers for first order DS tasks☆10Sep 12, 2019Updated 6 years ago
- Code for nonconvex graph trend filtering☆10May 6, 2022Updated 3 years ago
- ☆10Mar 14, 2018Updated 7 years ago
- Open data for mobility in the Greater Oslo area☆10Oct 1, 2019Updated 6 years ago
- The stl files and code for the V2 DexHand☆48May 26, 2025Updated 9 months ago
- ☆12Jun 11, 2025Updated 8 months ago