用于针对稀疏系统执行优化计算的基本线性代数编程语言。
Basic linear algebra programming language to perform optimized computation targeting sparse systems. (2024-03-14, OCaml, 0KB, 下载0次)
小型连续概率编程语言实验室
The tiny continuous probabilistic programming language lab (2023-10-29, OCaml, 0KB, 下载0次)
一种微型离散概率编程语言，
A Tiny Discrete Probabilistic Programming Language, (2023-09-17, OCaml, 0KB, 下载0次)
一种纯嵌入式函数编程语言，具有代数效应和直接访问评估环境，
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments, (2023-09-13, OCaml, 0KB, 下载0次)