NASA PVS Library of Formal Developments
Repository Index
73,362 visible repositories in the index
1–4 of 4 · Most stars
MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.
Numpy like array object for common lisp