Explore projects

Backend (Spring) for Mozen

Consistence Faible Byzantine Pour le Cloud

Scripts used in Lehnhoff et al., 2022.

A repository of labs from a functional programming course in OCaml

Deuxième repo avec le contenu du projet nystrom adaptatif

FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers