NASA PVS Library of Formal Developments
Repository Index
81,588 visible repositories in the index
1–8 of 8 · 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 matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
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.
Common Lisp package for simple two dimensional computational geometry.
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
- infix-notation
- common-lisp
- mathematics
Numpy like array object for common lisp