Sized Linear Algebra Package (SLAP) is a wrapper of Lacaml, a binding of two widely used linear algebra libraries BLAS and LAPACK for FORTRAN. This guarantees statically (i.e, at compile time) consistency (with respect to dimensions) of most high-level matrix (and vector) operations. For example, addition of two- and three-dimensional vectors causes type error at compile time, and dynamic errors like exceptions do not happen.
>= "7.2.3" & < "8.0.0"
<= "4.02.3" & >= "3.12"