NASA PVS Library of Formal Developments
Repository Index
71,235 visible repositories in the index
1–7 of 7 · Most stars
Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.
MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.
common lisp library providing common math functions used in games
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
A matrix library for common lisp
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.