The SAT and QBF Programming Language Bule

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

OCaml bindings to Minisat

Easy to use and user-friendly topological sort module for OCaml

DepQBF, a solver for quantified boolean formulae (QBF).

pgf/TikZ diagram editor

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

Let's Graphviz it online

The Vampire Theorem Prover

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.

Sane file naming for OCaml projects.

An in-memory datalog implementation for OCaml.