Explore projects

Official repository for the CROCO model

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

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

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

PlaFRIM user documentation

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

E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.

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.

Automatic speculative POLyhedraL Loop Optimizer

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

Additional ROS drivers for the Pepper robot.

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

MoReFEM core library.

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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