Explore projects

An OCaml library that helps deal with binding constructs in abstract syntax trees.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

A D sub implementation in OCaml with typing and subtyping algorithms.

An LR(1) parser generator for OCaml.

An OCaml library that helps deal with binding constructs in abstract syntax trees.

An LR(1) parser generator for OCaml.

GUI and command line interface to the Grew library

Ocaml Easy-Backfilling Simulator.

GUI and command line interface to the Grew library

SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.

A library for constraint-based Hindley-Milner type inference.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

An LR(1) parser generator for OCaml.