一种简单函数式编程语言的扫描器、解析器和解释器
Scanner, Parser and Interpreter of a Simple Functional Programming Language (2024-04-01, OCaml, 0KB, 下载0次)
编程语言的组件,全部在独立文件中实现
Components of programming languages, all implemented in self-contained files (2024-02-29, OCaml, 0KB, 下载0次)
使用函数编程语言实现图灵机
An implementation of THE Turing Machine using a functional programming language (2024-01-26, OCaml, 0KB, 下载0次)
用于面向服务器编程的OCaml异步调度器和monad。
OCaml asynchronous scheduler and monad for server-oriented programming. (2024-01-02, 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次)
为TUM的“函数编程和验证”课程练习家庭作业,
Exercises Homework for the course "Functional Programming and Verification" at TUM, (2023-09-27, OCaml, 0KB, 下载0次)
用OCaml编写的Tiger编程语言的x86-64编译器,
An x86-64 compiler for the Tiger programming language written in OCaml, (2023-09-19, OCaml, 0KB, 下载0次)
支持局部方法的最小面向对象编程语言。,
A minimal object-oriented programming language supporting local methods., (2015-01-27, OCaml, 0KB, 下载0次)
一个受NoWeb启发的识字编程工具,在OCaml中实现,
A Literate Programming Tool inspired by NoWeb, implemented in OCaml, (2018-11-07, OCaml, 0KB, 下载0次)
用于生成函数编程分配的个性化反馈的框架,
A framework for generating personalized feedbacks on functional programming assignments, (2023-03-06, OCaml, 0KB, 下载0次)
《Moden编译器ML实现》一书中的玩具编程语言,
Toy programming language from the book Moden Compiler Implementation in ML, (2021-08-09, OCaml, 0KB, 下载0次)
《Moden编译器ML实现》一书中的玩具编程语言,
Toy programming language from the book Moden Compiler Implementation in ML, (2022-03-28, OCaml, 0KB, 下载0次)
一种具有shell脚本功能的函数式编程语言,
A functional programming language with shell scripting capabilities, (2023-08-26, OCaml, 0KB, 下载0次)
miniKanren关系编程语言的静态类型嵌入到OCaml中,
Statically typed embedding of miniKanren relational programming language into OCaml, (2023-08-20, OCaml, 0KB, 下载0次)
一种简单的编程语言,只有用于控制流的GOTO语句。,
A simple programming language with only GOTO statements for control flow., (2023-08-10, OCaml, 0KB, 下载0次)
一种复式记账的编程语言,受到Beancount.的启发。,
A programming language for double-entry accounting, inspired by Beancount., (2023-07-30, OCaml, 0KB, 下载0次)
MPP:混合编程语言的元预处理器,
MPP: a meta preprocessor that blends programming languages, (2023-06-08, OCaml, 0KB, 下载0次)
编程讲稿(已放弃)
Programming Lecture Notes (abandoned) (2023-02-20, OCaml, 0KB, 下载0次)
用于编写编程语言和计算定义的Ott工具
The Ott tool for writing definitions of programming languages and calculi (2023-05-25, OCaml, 0KB, 下载0次)