Explore projects

Sources of the Abstract Categorial Development toolkit.

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

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

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Mirror for CI/CD only

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

ProVerif symbolic protocol verifier