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.
SIMD powered simple-math numerical operations on arrays for Common Lisp through CFFI [still experimental]
- lisp
- common-lisp
- scientific-computing
- simd
Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.