Explore projects
-
-
Extrait du code permettant à un membre du laboratoire d'organiser une visite, et aux visiteurs de s'inscrire.
Updated -
Updated
-
-
Work on Hom Shifts with Piotr, Silvère and Benjamin
Updated -
Updated
-
Updated
-
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
Updated -
Jules Penuchot / constexpr-everything
MIT LicenseEverything's in the title. Everything constexpr. Now.
Updated -
-
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Repository for code to train Paris Saclay students for SWERC.
Updated