There's also [libflame](https://github.com/flame/libflame https://github.com/flame/libflame) by the same group, which is a higher-level API for matrix computati

There's also [libflame](https://github.com/flame/libflame https://github.com/flame/libflame) by the same group, which is a higher-level API for matrix computations. The library's API si such that you can derive an algorithm (along with its proof of correctness) on paper and then translate the notation of the proof directly into code.