Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
The team website
-
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.
-
-
