The official SuiteSparse library: a suite of sparse matrix algorithms
CasADi is a symbolic framework for numeric optimization
fast C++ library for linear algebra & scientific computing
The Tensor Algebra Compiler (taco) computes sparse tensor expressions
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest