Explore projects

Headwork project

ProVerif symbolic protocol verifier

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

Mirror for CI/CD purposes only.

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

Web site of the Guix-HPC effort.

Extensions of GNU Guix for high-performance computing.

Official repository for the CROCO model

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Data Processing for Cartolabe