Explore projects

Resources for course MPRI 2-4 on functional programming and type systems.

Mirror for CI/CD only

Grew-match web interface: searching grew request in corpora

Project for StarPU website

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

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

A database storing and retrieving sequences with labels and annotations

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

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

Parent bom for Gazelle simulators

Front gateway to call validation-service.

[lib] Message content detection, integrated in EVSClient.

OSATTA: One-Shot Automatic Test Time Augmentation for Domain Adaptation