使用函数编程语言实现图灵机
An implementation of THE Turing Machine using a functional programming language (2024-01-26, OCaml, 0KB, 下载0次)
具有许多类型特征的小函数编程语言
Small functionnal programming language with many type features (2023-12-10, OCaml, 0KB, 下载0次)
非函数式编程语言
Non-functional programming language (2023-11-07, OCaml, 0KB, 下载0次)
小型函数式编程语言的Ocaml编译器，
Ocaml Compiler for a Mini Functional Programming Language, (2023-10-20, OCaml, 0KB, 下载0次)
受ML启发的编程语言，用于学习目的。，
ML-inspired programming language for learning purposes., (2023-09-09, OCaml, 0KB, 下载0次)
支持局部方法的最小面向对象编程语言。，
A minimal object-oriented programming language supporting local methods., (2015-01-27, OCaml, 0KB, 下载0次)
用OCaml编写的类似Lisp的编程语言，
A Lisp-like programming language written in OCaml, (2023-09-02, OCaml, 0KB, 下载0次)
一种低级函数式编程语言，
A low level functional programming language, (2023-09-01, OCaml, 0KB, 下载0次)
试图制作一种编程语言，
Trying to make a programming language, (2023-08-26, 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次)
类型和编程语言，
types-and-programming-languages, (2023-07-31, OCaml, 0KB, 下载0次)
在OCaml中实现编程语言Haskell的挑战，
Challenge to implement Programming Language Haskell in OCaml, (2011-06-10, OCaml, 0KB, 下载0次)
灵活恒定时间编程语言
Flexible and Constant Time Programming Language (2022-02-18, OCaml, 0KB, 下载0次)
Frenetic编程语言与运行时系统
The Frenetic Programming Language and Runtime System (2023-03-26, OCaml, 0KB, 下载0次)
Reason编程语言的不可变集合。
Immutable collections for the Reason programming language. (2019-01-09, OCaml, 0KB, 下载0次)
用于编写编程语言和计算定义的Ott工具
The Ott tool for writing definitions of programming languages and calculi (2023-05-25, OCaml, 0KB, 下载0次)
DeepSEA编程语言
The DeepSEA programming language (2021-12-29, OCaml, 0KB, 下载0次)
编程语言动物园
Programming Languages Zoo (2023-04-24, OCaml, 0KB, 下载0次)