Explore projects

How to use Org mode and Guix to build a reproducible experimental study

Seminar in Datamove team

Minimal working example of an experimental study

Minimal working example of an experimental study written in Org mode

The AIDE project software development bundle

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

Adaptive Grid Refinement In Fortran

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

Diaporama pour la rencontre sur les logiciels libres de recherche

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Paper to add XOR and abelian group in ProVerif

Custom latex files

Grid'5000 Cheat Sheet