静态类型概率编程语言,feat。GADT公司
Statically typed probabilistic programming language, feat. GADT (2024-06-10, OCaml, 0KB, 下载0次)
一种结合了效果处理程序和隐式参数的实验性编程语言
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次)
OCaml语法扩展专用于在Web上编程 React系统。,
OCaml syntax extension dedicated to the programming of reactive systems on the Web., (2018-09-10, OCaml, 0KB, 下载0次)
一种纯嵌入式函数编程语言,具有代数效应和直接访问评估环境,
A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments, (2023-09-13, OCaml, 0KB, 下载0次)
Quartz编程语言的官方编译器,
The official compiler for the Quartz programming language, (2018-05-03, 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次)
一种C风格的编程语言,用于表示编译为Factorio组合器蓝图的实用Factorio电路,
A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints, (2023-09-04, 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次)
从论文“特殊交付:使用邮箱类型编程”中实现类型检查器,
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次)
另一种必要的编程语言——一个基于LLVM万花筒的有趣项目
Yet Another Imperative Programming Language - a fun project based on LLVM s Kaleidoscope (2018-01-24, 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次)
最初是一个算法差分库。现在已经扩展到概率编程库,
Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library, (2021-12-21, 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次)
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次)