Explore projects

Verifiable online voting system http://www.belenios.org

Mirror for CI/CD purposes only.

Headwork project

Declearn - a modular and extensible python framework for Federated Learning

Gathers technical materials to follow on what has been learnt and what is to be learnt

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

An SQL querybuilder written in Python.

Synthesis of Ludovic's results during his internship

Sources of the Abstract Categorial Development toolkit.