NASA PVS Library of Formal Developments
Repository Index
71,372 visible repositories in the index
1–11 of 11 · Most stars
Matrix Algebra proGrams In Common Lisp.
- common-lisp
- matrix-algebra
- linear-algebra
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.
common lisp library providing common math functions used in games
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
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.