Mentions légales du service
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.
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.
Logging library use in Grew and Dep2pict projects
GUI and command line interface to the Grew library