Explore projects

Mirror for CI/CD purposes only.

A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)

New experimental v2 version

PM2: Parallel Multithread Machine (source code)

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

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

ProVerif symbolic protocol verifier

The software provides the tractography Python module, which includes functions and tools to produce streamlines from diffusion MRI.

Mirror for CI/CD only

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries