KLaTsL是一种专注于线性代数的函数式、类型化和解释语言，引入了一种优雅的类型系统和语法，具有矩阵理解和分解、类型化转换、维数类型化等特点。
A functional, typed & interpreted language focused on linear algebra, KLaTsL introduces an elegant type system and syntax featuring matrix comprehensions & factorizations, typed transformations, dimensional typing and more. (2024-04-26, OCaml, 0KB, 下载0次)