PLTools

Statically typed embedding of miniKanren relational programming language into OCaml

Teaching language LaMa for a compiler course

Datatype-generic object-oriented transformations for OCaml