Explore projects

Record messages and transactions exchanged.

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

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

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

Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.

Suite of utilities [gazelle-tools]

Various tools for Gazelle TM (& EVS) [gazelle-tm-tools].

Manage Test-Assertions extracted from interoperability specifications (requirements).

Front gateway to call validation-service.

PlaFRIM user documentation

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

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