Discover projects, groups and snippets. Share your projects with others
The team website
Création de pages html à partir d'export RESEDA
This is the development trunc of the HOL-CSP2.0 project.
Work on Hom Shifts with Piotr, Silvère and Benjamin
Tilings on weird groups <a,b|ab^m=ba^n>
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.