Explore projects

ProVerif symbolic protocol verifier

Implements a JavaScript JSON weak-syntax reader and writer.

Itauto: an Extensible Intuitionistic SAT Solver

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.

Generates a bibliography for our website.

Project for StarPU website