Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
This is the development trunc of the HOL-CSP2.0 project.
-
My academic website
-
Compile-time parsing tools for C++ meta-programming
-
-
-
-
-
-
The team website
-
-
Repository for code to train Paris Saclay students for SWERC.
-
-
-
-
An LR(1) parser generator for OCaml.
-
-
-
This project is the home of the branch of the Truffle R language with a query library.
-
-
