上帝保佑我们在函数编程和验证中生存
God may we survive Functional Programming and Verification (2024-01-24, OCaml, 0KB, 下载0次)
具有许多类型特征的小函数编程语言
Small functionnal programming language with many type features (2023-12-10, OCaml, 0KB, 下载0次)
小型函数式编程语言的Ocaml编译器，
Ocaml Compiler for a Mini Functional Programming Language, (2023-10-20, OCaml, 0KB, 下载0次)
《OCaml编程》一书的实践练习
Practical Exercise of the book Programming in OCaml (2012-12-24, OCaml, 0KB, 下载0次)
编程语言精要，带OCaml实现和Coq证明，
Essentials of Programming Languages, with OCaml implementations & Coq proofs, (2017-01-13, OCaml, 0KB, 下载0次)
Lollimon，一元并发线性逻辑编程语言，
Lollimon, a monadic concurrent linear logic programming language, (2011-10-14, OCaml, 0KB, 下载0次)
受ML启发的编程语言，用于学习目的。，
ML-inspired programming language for learning purposes., (2023-09-09, OCaml, 0KB, 下载0次)
《编程语言的概念》一书的工具，
tools for the book "Concepts of Programming Languages", (2021-04-20, OCaml, 0KB, 下载0次)
Myte编程语言的编译器和工具。，
Compiler and tooling for the Myte programming language., (2023-03-06, OCaml, 0KB, 下载0次)
L编程语言的编译器和工具，
Compiler and tools for the L programming language, (2020-09-09, OCaml, 0KB, 下载0次)
用OCaml编写的类似Lisp的编程语言，
A Lisp-like programming language written in OCaml, (2023-09-02, OCaml, 0KB, 下载0次)
一种最小的静态类型的过程编程语言，
A minimal, statically typed, procedural programming language, (2023-08-24, OCaml, 0KB, 下载0次)
一种基于函数的编程语言，具有内置记忆功能。，
A functionally based programming language with builtin memoization., (2023-08-13, OCaml, 0KB, 下载0次)
用于OCaml编程语言的Yices SMT解算器绑定，
Yices SMT solver s binding for the OCaml programming language, (2023-08-10, OCaml, 0KB, 下载0次)
Star编程语言的WIP解析器，
WIP parser for the Star programming language, (2020-12-09, OCaml, 0KB, 下载0次)
domainslib多核OCaml并行编程教程，
Tutorial on Multicore OCaml parallel programming with domainslib, (2023-01-05, OCaml, 0KB, 下载0次)
Spring-一个令人愉快的OCaml web编程库（未发布），
Spring - A Delightful OCaml web programming library (unreleased), (2023-07-13, OCaml, 0KB, 下载0次)
Caml Shcaml：用于Unix shell编程的Ocaml库，
Caml-Shcaml: An Ocaml library for Unix shell programming, (2019-08-10, OCaml, 0KB, 下载0次)
在OCaml中实现编程语言Haskell的挑战，
Challenge to implement Programming Language Haskell in OCaml, (2011-06-10, OCaml, 0KB, 下载0次)
学习编程，玩蚂蚁和蜘蛛网；-）
Learn programming, playing with ants and spider webs ;-) (2020-05-21, OCaml, 167KB, 下载0次)