Explore projects

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

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

ProVerif symbolic protocol verifier

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.

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

Project for StarPU website

Binary analysis program. Looks at a CFG and analyzes its bits.

PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.

Implementing symbolic data structure numeric grounding

Python Semantics in Skel

The LocARNA 2.0 bookchapter (for Ronny)