Explore projects

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

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

An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model

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

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

Création participative de robots avec et par des enfants

ESP32 firmware providing a REST API for controlling the brachistochrone science outreach setup.

ESP32 firmware providing a REST API for controlling the galileo science outreach setup