Explore projects

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

Biocham-4 sources and CI

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

This platform gives tools to manipulate Sanskrit data

Containerized documentation of customer environments

Page web du groupe IDEES du Loria

An LR(1) parser generator for OCaml.

Simulation of Patient related actors (PIX, PDQ, PAM... and in various HL7 versions)

ProVerif symbolic protocol verifier

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

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

ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions