Explore projects

EDCC 2006 paper redone for the Ten Years Reproducibility Challenge.

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

Concurrent Separation Logic for Multicore OCaml

Adaptive Grid Refinement In Fortran

Itauto: an Extensible Intuitionistic SAT Solver

Paper to add XOR and abelian group in ProVerif

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.

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

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

Présentation principale