O

OCaml

A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.

Formalization in Coq and Why3 of a theory about weak control dependence

A library that implements dependent (heterogeneous) immutable maps

An OCaml library implementing ZDDs (Zero-suppressed Binary Decision Diagrams), upward-closed set families, and downward-closed set families

Abstract domain for function graphs, and fixpoint solvers based on them