The team website

Tilings on weird groups <a,b|ab^m=ba^n>

This is the development trunc of the HOL-CSP2.0 project.

This is a snakemake parser that extracts more information from the files than the built_in ones and measures some of the snakemake workflows' characteristics

Compile-time parsing tools for C++ meta-programming

Everything's in the title. Everything constexpr. Now.

My academic website

Repository for code to train Paris Saclay students for SWERC.

An LR(1) parser generator for OCaml.