一种为好玩而设计的函数式编程语言编译器。
A functional programming language compiler made for fun. (2024-08-01, OCaml, 0KB, 下载0次)
LILY(轻量级集成列表语法),是一种使用OCaml实现的编程语言。
LILY (Lightweight Integrated List Syntax), is a Programming Language implemented using OCaml. (2024-05-13, OCaml, 0KB, 下载0次)
一种简单函数式编程语言的扫描器、解析器和解释器
Scanner, Parser and Interpreter of a Simple Functional Programming Language (2024-04-01, 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 garden of small programming language implementations , (2023-09-14, 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次)
《ML中的现代编译器实现》一书中的玩具编程语言,
Toy programming language from the book Modern Compiler Implementation in ML, (2020-03-16, OCaml, 0KB, 下载0次)
《Moden编译器ML实现》一书中的玩具编程语言,
Toy programming language from the book Moden Compiler Implementation in ML, (2022-03-28, OCaml, 0KB, 下载0次)
《Moden编译器ML实现》一书中的玩具编程语言,
Toy programming language from the book Moden Compiler Implementation in ML, (2022-10-17, 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次)
一种编程语言,因为这些语言还不够
A Programming Language because there aren t enough of those yet (2023-03-01, OCaml, 0KB, 下载0次)
一种受ML启发并由LLVM支持的WIP编程语言
A WIP programming language inspired by ML and powered by LLVM (2023-06-04, OCaml, 296KB, 下载0次)
paip-ocaml,ocaml中“人工智能编程的范式”一书的代码
paip-ocaml,Code for the book "Paradigms of Artificial Intelligence Programming" in OCaml (2011-06-22, OCaml, 9KB, 下载0次)