Explore projects

Recurrent network weight tuning

Tools to check the accuracy of mathematical functions

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

The AIDE project software development bundle

A fork of MATISSE's thesis template

ProVerif symbolic protocol verifier

Implements a JavaScript JSON weak-syntax reader and writer.

Project for StarPU website

Itauto: an Extensible Intuitionistic SAT Solver

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.

An R package for specifying and extracting data frames ready for data analysis from populations of MR images.