Lacaml - Linear Algebra for OCamlSkip to the content. Lacaml - Linear Algebra for OCaml What is Lacaml? This OCaml-library interfaces two widely used mathematical FORTRAN-libraries: BLAS - Basic Linear Algebra Subroutines LAPACK - Linear Algebra PACKage This allows developers to write high-performance numerical code for applications that require linear algebra. Features The BLAS- and LAPACK-libraries have evolved over about two d
GitHub - meta-logic/sellf: SubExponential Linear Logic Framework for reasoning about sequent calculus systems
