高维类型理论的证明助手
A proof assistant for higher-dimensional type theory (2024-04-18, 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次)
一种小函数张量语言,具有爱因斯坦求和符号约定和编译时的形状检查。,
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次)