Stars
A model checker for the Dynamic Logic of Propositional Assignments (DL-PA) with solving and parameterized random formula generation functionalities.
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Easy to use and user-friendly topological sort module for OCaml
DepQBF, a solver for quantified boolean formulae (QBF).
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
a lightweight Graphviz preparation utility for answer set programming
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.