Explore projects

Concurrent Separation Logic for Multicore OCaml

Seminar in Datamove team

Discrete Exterior Calculus library in Python mostly targeted toward multicellular tissue modeling.

documentation: https://oali.gitlabpages.inria.fr/dxtr/

Grid'5000 Cheat Sheet

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

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

Implementation of CRDTp and CRDTd encapsulation mecanisms to evaluate ACCURE - see accure.rigelk.eu

Interface, control, and identification for neuroscience excitable experiments

The Infrared bookchapter (for Ronny)