Compile MITL formula to Timed-automata for UPPAAL
No README available, please check again later.
logic file system
ocaml code-generation for binary format parsers/constructors from a specification
OCaml fuzzy type search
an arithmetic compressor
Toy compiler for OCaml Meetup
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
An OCaml implementation of the figgie card game, with bots
Parser combinators built for speed and memory efficiency
Docusaurus website maintaining notes about the OCaml compiler's internals
tree for float intervals
ML interpreter with lazy evaluation