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次)
塞斯顾问：一个审查厕所的网络应用程序。使用OCaml（Restful API）+Javascript（Svelte Frontend）+Postgres（数据库）构建。
Cess Advisor: a webapp to review toilets. Build with OCaml (Restful API) + Javascript (Svelte Frontend) + Postgres (Database). (2024-04-23, OCaml, 0KB, 下载0次)
高维类型理论的证明助手
A proof assistant for higher-dimensional type theory (2024-04-18, OCaml, 0KB, 下载0次)
重复几何图案的实验，灵感来自基思·克里奇洛的《伊斯兰图案：分析和宇宙学方法》。
Experiments with repeating geometric patterns, inspired by "Islamic Patterns: An Analytical and Cosmological Approach" by Keith Critchlow. (2024-03-01, OCaml, 0KB, 下载0次)
使用极客订单随机性选项生成和播放任何类型文件的播放列表幻灯片
Generate and play playlists slideshows of any types of files with geeky order randomness options (2024-01-16, OCaml, 0KB, 下载0次)
我在道格拉斯·塞恩（DouglasThain）的书中实现了B编译器。
My implementation of the B- compiler from Douglas Thain s book. (2023-12-04, OCaml, 0KB, 下载0次)
爱丽丝，凯伦，马诺利斯，卡罗琳的康奈尔大学课程CS3110的最后项目。
Alice, Karen, Manolis, Caroline s final project for the Cornell course CS3110. (2023-11-29, OCaml, 0KB, 下载0次)
斯巴达类型理论
Spartan type theory (2023-06-21, OCaml, 0KB, 下载0次)
这是查尔斯·袁（Charles Yuan）的论文《量子计算中控制流纠错的T复杂度代价》（the T-Complexity Costs of Error Correction for Control Flow in Quantum Computing）的人工制品...
This is the artifact for the paper "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation" by Charles Yuan and Michael Carbin. It contains the sources for the Spire compiler, the benchmark programs and circuits used in the paper, and the evaluation package. (2023-11-21, OCaml, 0KB, 下载0次)
尼亚加拉语编译器，
Compiler for the Niagara language, (2023-09-18, OCaml, 0KB, 下载0次)
Coq2斯卡拉，，
coq2scala,, (2015-04-05, OCaml, 0KB, 下载0次)
一种小函数张量语言，具有爱因斯坦求和符号约定和编译时的形状检查。，
A small functional tensor language with Einstein summation notation convention and shape-checking at compile-time., (2018-05-21, OCaml, 0KB, 下载0次)
OCaml中的传感器。你所能管理的哈斯凯利。希望解决这个问题。，
Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that., (2015-02-14, OCaml, 0KB, 下载0次)
福克斯·奥卡姆，
Foxes-Ocaml, (2023-08-03, OCaml, 0KB, 下载0次)
Análise métrico de texto en verso en lingua galega（加利西亚语）gl ES，
Análise métrico de texto en verso en lingua galega (Galician language) gl-ES, (2022-08-28, OCaml, 0KB, 下载0次)