Explore projects
-
Updated
-
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
A D sub implementation in OCaml with typing and subtyping algorithms.
UpdatedUpdated -
Updated
-
-
An OCaml library that helps deal with binding constructs in abstract syntax trees.
Updated -
-
-
Updated
-
-
-
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.
Updated -
-
Updated
-
Updated
-
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
-
Updated
-
Updated