Explore projects

Tapenade Automatic Differentiation Engine

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

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Automatic speculative POLyhedraL Loop Optimizer

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

Official repository for the CROCO model

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.

PM2: Parallel Multithread Machine (source code)

XLiFE++ is an extended finite element library developed in C++