介绍编程语言基础的一学期课程的注释和源代码
Notes and source code for a semester-long course introducing Programming Language fundamentals (2024-03-27, OCaml, 0KB, 下载0次)
编程语言的组件，全部在独立文件中实现
Components of programming languages, all implemented in self-contained files (2024-02-29, OCaml, 0KB, 下载0次)
一种简单的教学功能语言，扩展到处理集合数据结构。比萨大学“编程II”项目的一部分。
A simple didactic functional language, extended to work on set data structures. Part of a "Programming II" project for University of Pisa. (2023-12-30, OCaml, 0KB, 下载0次)
一种用于编写库和其他可重用事物的编程语言
A programming language for writing libraries and other reusable things (2023-12-28, OCaml, 0KB, 下载0次)
编程语言和类型系统的集合。
A collection of programming languages and type systems. (2023-11-12, OCaml, 0KB, 下载0次)
一个小型编程语言实现的花园，
A garden of small programming language implementations , (2023-09-14, OCaml, 0KB, 下载0次)
Quartz编程语言的官方编译器，
The official compiler for the Quartz programming language, (2018-05-03, OCaml, 0KB, 下载0次)
一种基于组合逻辑和术语重写系统的编程语言，具有高级类型系统。，
A programming language based on combinatory logic and term rewrite systems, with an advanced type system., (2023-08-20, OCaml, 0KB, 下载0次)
一种通过粒度合成构建声音的编程语言。，
A programming language to build sounds by granular synthesis., (2023-08-20, OCaml, 0KB, 下载0次)
一种简单的编程语言，只有用于控制流的GOTO语句。，
A simple programming language with only GOTO statements for control flow., (2023-08-10, OCaml, 0KB, 下载0次)
原型黑客是一个服务器编程挑战。下面是使用OCaml 5和基于效果的IO库Eio的实现，
Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio, (2023-02-10, OCaml, 0KB, 下载0次)
Coral编程语言：一个速度极快的渐进式Python编译器，具有可选的静态类型以用于opt...
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety. (2021-03-13, OCaml, 0KB, 下载0次)