Explore projects
-
Updated
-
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
Updated
-
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
-
Updated
-
Updated
-
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
A D sub implementation in OCaml with typing and subtyping algorithms.
UpdatedUpdated -
OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib
Updated -
-
Updated
-
-
-
Updated
-
-
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.
Updated -
Updated
-