Explore projects

An LR(1) parser generator for OCaml.

Front gateway to call validation-service. (EVSClient)

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

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

Simulate and analyze a particle-based spatial continous Kuramoto model.

The software provides the tractography Python module, which includes functions and tools to produce streamlines from diffusion MRI.

Mirror for CI/CD only

Non Deterministic Abstract Machine Generation in Skeletal Semantics

Optimal Unstructured Remesher & ANisotropic Optimized Solver