Explore projects

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

Generates a bibliography for our website.

Itauto: an Extensible Intuitionistic SAT Solver

Présentation principale

Project for StarPU website

Tools to check the accuracy of mathematical functions

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.

ProVerif symbolic protocol verifier

A fork of MATISSE's thesis template

Recurrent network weight tuning

The AIDE project software development bundle