诺拉·桑德勒《编写C编译器》一书中C编译器的实现
Implementation of the C compiler from the book Writing a C Compiler by Nora Sandler (2024-05-04, OCaml, 0KB, 下载0次)
Ejemplos para CCOM4087-编译器
Ejemplos para CCOM4087 - Compiladores (2024-05-02, OCaml, 0KB, 下载0次)
inotify的异步包装器
Async wrapper for inotify (2024-02-06, OCaml, 0KB, 下载0次)
OCaml的元预处理器
Meta-preprocessor for OCaml (2024-01-03, OCaml, 0KB, 下载0次)
AWK到C转换器
An AWK to C translator (2023-12-13, OCaml, 0KB, 下载0次)
EVM代码中的编译器，
A compiler into EVM code, (2023-10-03, OCaml, 0KB, 下载0次)
重新打包的编译器库，
compiler libraries repackaged, (2023-09-19, OCaml, 0KB, 下载0次)
coq ltac2编译器，，
coq ltac2 compiler,, (2023-06-18, OCaml, 0KB, 下载0次)
多核QoS模拟器，
Simulator for multicore QoS, (2011-11-18, OCaml, 0KB, 下载0次)
OCaml窗口管理器，
An OCaml Window Manager, (2023-08-09, OCaml, 0KB, 下载0次)
Xyntia黑匣子脱泡器，
Xyntia, the black-box deobfuscator, (2022-12-16, OCaml, 0KB, 下载0次)
牛津Oberon-2编译器，
Oxford Oberon-2 compiler, (2022-05-06, OCaml, 0KB, 下载0次)
另一个简单的计算器，
Another Simple Calculator, (2022-02-26, OCaml, 0KB, 下载0次)
ssl的异步包装器，
Async wrappers for ssl, (2023-07-19, OCaml, 0KB, 下载0次)
XCP工具堆栈域管理器，
XCP toolstack domain manager, (2023-07-06, OCaml, 0KB, 下载0次)
一个实验性的ARM反编译器，
An experimental ARM decompiler, (2014-05-22, OCaml, 0KB, 下载0次)
OCaml未捕获异常分析器，
OCaml uncaught exception analyser, (2012-03-09, OCaml, 0KB, 下载0次)
基于诅咒的RPN计算器
Curses-based RPN calculator (2021-12-21, OCaml, 0KB, 下载0次)
OpenCL的OCaml包装器
OCaml wrapper for OpenCL (2015-09-16, OCaml, 63KB, 下载0次)
基于SGGS的定理证明器
SGGS-based theorem prover (2022-08-22, OCaml, 967KB, 下载0次)