一种结合了效果处理程序和隐式参数的实验性编程语言
An experimental programming language that combines effect handlers and implicit parameters (2024-03-28, OCaml, 0KB, 下载0次)
介绍编程语言基础的一学期课程的注释和源代码
Notes and source code for a semester-long course introducing Programming Language fundamentals (2024-03-27, OCaml, 0KB, 下载0次)
用于针对稀疏系统执行优化计算的基本线性代数编程语言。
Basic linear algebra programming language to perform optimized computation targeting sparse systems. (2024-03-14, OCaml, 0KB, 下载0次)
基于表达式的函数编程语言的解释器
Interpreter for a functional, expression-based programming language (2024-01-02, OCaml, 0KB, 下载0次)
一个小型编程语言实现的花园,
A garden of small programming language implementations , (2023-09-14, OCaml, 0KB, 下载0次)
一种纯嵌入式函数编程语言,具有代数效应和直接访问评估环境,
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments, (2023-09-13, OCaml, 0KB, 下载0次)
G到C转换器。G是用于Arduino的简单并发编程语言,
G to C translator. G is a simple concurrent programming language for the Arduino, (2013-05-11, OCaml, 0KB, 下载0次)
OCaml编程语言的PPX语法扩展。添加编译时“if”语句。,
A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement., (2020-11-20, OCaml, 0KB, 下载0次)
Straightline是《ML中的现代编译器实现》一书中的一种玩具编程语言,
Straightline is a toy programming language from the book Modern Compiler Implementation in ML, (2022-12-19, 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-10-17, OCaml, 0KB, 下载0次)
从论文“特殊交付:使用邮箱类型编程”中实现类型检查器,
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types", (2023-07-08, OCaml, 0KB, 下载0次)
一种通过粒度合成构建声音的编程语言。,
A programming language to build sounds by granular synthesis., (2023-08-20, OCaml, 0KB, 下载0次)
停止编程语言的编译器。用Ocaml编写。编译为LLVM IR。
Compiler for the Stop Programming Language. Written in Ocaml. Compiles to LLVM IR. (2017-05-17, OCaml, 0KB, 下载0次)
一种编程语言,因为这些语言还不够
A Programming Language because there aren t enough of those yet (2023-03-01, OCaml, 0KB, 下载0次)
最初是一个算法差分库。现在已经扩展到概率编程库,
Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library, (2021-12-21, OCaml, 0KB, 下载0次)
一种受ML启发并由LLVM支持的WIP编程语言
A WIP programming language inspired by ML and powered by LLVM (2023-06-04, OCaml, 296KB, 下载0次)
Som函数式编程语言
The Som functional programming language (2023-05-25, OCaml, 148KB, 下载0次)
基于多态型lambda演算系统F的遗传编程系统
A genetic programming system based on System F, a polymorphically-typed lambda calculus (2019-09-01, OCaml, 98KB, 下载0次)
paip-ocaml,ocaml中“人工智能编程的范式”一书的代码
paip-ocaml,Code for the book "Paradigms of Artificial Intelligence Programming" in OCaml (2011-06-22, OCaml, 9KB, 下载0次)