The Operator Splitting QP Solver
- optimization
- quadratic-programming
- convex-optimization
- machine-learning
Repository Index
87,075 visible repositories in the index
1–3 of 3 · Most stars
Modern C++ quantum computing library
- quantum-computing
- c-plus-plus
- cpp
- cpp11
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers