Explore projects

Extensions of GNU Guix for high-performance computing.

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

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

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

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

Sources of the Abstract Categorial Development toolkit.

MoReFEM core library.

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

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