Explore projects

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

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

Official repository for the CROCO model

Library to auth users (OIDC) or machines (M2M) in Gazelle for application under JDK 21 (previously JDK17).

https://numpex-pc5.gitlabpages.inria.fr/tutorials

Extensions of GNU Guix for high-performance computing.

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this