logic file system
GPL-2.0 License
No README available, please check again later.
Experiments in LLVM parsing of ABNF
Plan9 software ported to OCaml
OCaml build rules for Bazel
Extended Standard Library for OCaml
pad's fork of ocaml mmm web browser
Compiler from OCaml to Javascript.
Dynamic reconfigurable linker for OCaml
pad's fork of tiger for c--
an arithmetic compressor
Compile MITL formula to Timed-automata for UPPAAL
A toy language based on LLVM that implements the System Fω type-system
An Emacs clone written in OCaml
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers...
OCaml fuzzy type search