Explore projects

Grid'5000 Cheat Sheet

Paper to add XOR and abelian group in ProVerif

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

Adaptive Grid Refinement In Fortran

Minimal working example of an experimental study written in Org mode

Minimal working example of an experimental study

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

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

Implementing symbolic data structure numeric grounding