Explore projects
-
-
Updated
-
-
Declearn - a modular and extensible python framework for Federated Learning
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
An SQL querybuilder written in Python.
Updated -
Updated
-
Synthesis of Ludovic's results during his internship
Updated -
-
Updated
-
Updated