Explore projects

ProVerif symbolic protocol verifier

Gathers technical materials to follow on what has been learnt and what is to be learnt

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

LP-update policy and applications on multi-action RB

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

Implementing symbolic data structure numeric grounding

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.

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

Itauto: an Extensible Intuitionistic SAT Solver

Project for StarPU website

Implements a JavaScript JSON weak-syntax reader and writer.