Explore projects

Generates a bibliography for our website.

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

Grid'5000 Cheat Sheet

Preuve sur les algos de Parcoursup

Adaptive Grid Refinement In Fortran

The AIDE project software development bundle

Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.

Concurrent Separation Logic for Multicore OCaml

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.

Project for StarPU website

ProVerif symbolic protocol verifier

Itauto: an Extensible Intuitionistic SAT Solver

Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.

notes de thèse pour Pierre-Antoine Rault - dernier rapport

Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Python class to help calling VARNA [API page] https://amibio.gitlabpages.inria.fr/varna-api/

Implements a JavaScript JSON weak-syntax reader and writer.

Tools to check the accuracy of mathematical functions