Explore projects

https://dd-rennes.gitlabpages.inria.fr/

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

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Resources for course MPRI 2-4 on functional programming and type systems.

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Web site of the Guix-HPC effort.

Auctus website https://auctus-team.gitlabpages.inria.fr/

Builds multi-language compilation packages and related documentation.

Implements a macroscopic algorithmic ersatz of VSA some operations

The Tabletop activites RPi software

Analysing video of learning activities using machine learning