Explore projects

Complete edge-to-cloud application use-case: distributed video processing

PM2: Parallel Multithread Machine (source code)

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

Validation service for HL7v2 and HL7v3 messages.

GitLab mirror of https://github.com/math-comp/math-comp

Mirror for CI/CD purposes only.