libflame contains implementations of many dense linear algebra operations that are provided by the BLAS and LAPACK libraries. (However, not all FLAME implementations support every datatype, and, in many cases, libflame uses a different naming convention for the routines.) The library is a product of the Formal Linear Algebra Methods Environment (FLAME), which encompasses a new notation for expressing algorithms, a methodology for systematic derivation of algorithms, Application Program Interfaces (APIs) for representing the algorithms in code, and tools for mechanical derivation, implementation and analysis of algorithms and implementations. WWW: https://github.com/flame/libflame