Explore projects

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

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

https://aviz.gitlabpages.inria.fr/swimflow/

PlaFRIM user documentation

Dépôt git pour le site web de Liber Abaci

Explore resources from Inria's MC. https://grid5000.gitlabpages.inria.fr/resources-explorer

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

Flexible Perceptual Evaluation platform

A generator of debugger for the Skel language for semantics description

Sébastien Gilles' homepage.

I will put here snippets of code I like (mostly scripts and C++ utilities), and on the wiki (https://gitlab.inria.fr/sgilles/homepage/wikis/home) useful tricks and procedures.

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).