O

OCaml

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

Generating statistics from projects hosted on Github. Was developed to get statistics on OCaml development.

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

A library that implements dependent (heterogeneous) immutable maps

Static analyzers for higher-order languages

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

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

Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.