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.

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

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

Ocaml Easy-Backfilling Simulator.

A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.

An OCaml toplevel build with Timbuk.

An LR(1) parser generator for OCaml.

An LR(1) parser generator for OCaml.

Logging library use in Grew and Dep2pict projects

GUI and command line interface to the Grew library

GUI and command line interface to the Grew library