google / tensorstore

Library for reading and writing large multi-dimensional arrays.

xtensor-stack / xtensor

C++ tensors with broadcasting and lazy computing

TileDB-Inc / TileDB

The Universal Storage Engine

llnl / zfp

Compressed numerical arrays that support high-speed random access

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.