Collection of self-contained header-only libraries for C++17
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library