Explore projects

support des formations Slurm au LRI des 18-19 ou 25-26 février 2019

An LR(1) parser generator for OCaml.

Repository for code to train Paris Saclay students for SWERC.

Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

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

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