DDS波形发生器下载搜索联合开发网

[其他] CompilerInOCaml

C-ish语言的编译器，在OCaml中实现
A compiler for a C-ish language, implemeted in OCaml (2024-04-03, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1712186398563284.html

[其他] vccs-compiler

将CCS传递给基本CSS编译器的值
Value-passing CCS to basic CSS compiler (2024-03-24, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1711321810653387.html

[其他] Unbounded-Knapsack-Problem-Solver

无界背包问题求解器的Ocaml应用
Ocaml Aplication of Unbounded Knapsack Problem Solver (2024-03-24, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1711308321155677.html

[其他] dream-html

从OCaml Dream后端服务器生成HTML标记
Generate HTML markup from your OCaml Dream backend server (2024-02-19, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1708381265106013.html

[其他] expect_test_helpers_async

用于编写期望测试的异步帮助器
Async helpers for writing expectation tests (2024-02-06, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1707342788748166.html

[其他] lambda

利用LLVM作为lambda演算后端的普通编译器
trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-01-12, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1705196853414816.html

[其他] lambda

利用LLVM作为lambda演算后端的普通编译器
trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-01-12, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1705105124640787.html

[其他] lambda

利用LLVM作为lambda演算后端的普通编译器
Trivial compiler that utilizes LLVM as a backend for lambda calculus (2024-01-04, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1704414283169865.html

[其他] el2

类C语义HM类型语言的编译器
Compiler for HM typed language with C-like semantics (2024-01-01, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1704144277904296.html

[其他] porc

通过bin_prot支持OCaml和Rust的协议编译器
protocol compiler supporting OCaml and Rust through bin_prot (2023-12-30, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1703969901644930.html

[其他] minic

基于编译精髓的最简编译器课程
Minimalist compiler course, based on Essential of Compilation (2023-12-18, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702936460640716.html

[其他] Signal_Language

类c语言的OCaml编译器
OCaml Compiler for a c-like language (2023-11-30, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1701390852232635.html

[其他] ptt

内参数型理论的实验型检查器
Experimental type-checker for internally parametric type theory (2021-02-19, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1700795083797174.html

[其他] blott

模态相关型理论的实验型检查器。
An experimental type checker for a modal dependent type theory. (2020-05-09, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1700794605724361.html

[其他] lambda-parser

简单类型Lambda微积分的解析器，
A parser for the Simply Typed Lambda-Calculus, (2023-10-22, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1698020209387478.html

[其他] bucklescript-addons

BuckleScript OCaml->Javascript转换器的加载项模块，
Addons modules for the BuckleScript OCaml->Javascript translator, (2017-12-19, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1697616870698191.html

[其他] reason-calculator

用理性和理性 React构建的计算器。，
A calculator built with Reason and reason-react., (2023-01-03, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1695698133903678.html

[其他] evanlang2

具有类C语义的HM类型语言的编译器，
Compiler for HM typed language with C-like semantics, (2023-09-14, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694799735973143.html

[其他] camlscript

在预处理时将ocaml转换为javascript编译器，
ocaml-to-javascript compiler at pre-processing time, (2010-11-24, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694053619202028.html

[其他] ocaml-jit

用于OCaml本机顶级的实时编译器，
Just In Time compiler for OCaml native toplevel, (2022-09-14, OCaml, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694053190306958.html