Explore projects

Recurrent network weight tuning

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

Tools to check the accuracy of mathematical functions

Discrete Exterior Calculus library in Python mostly targeted toward multicellular tissue modeling.

documentation: https://oali.gitlabpages.inria.fr/dxtr/

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.

The AIDE project software development bundle

Implements a JavaScript JSON weak-syntax reader and writer.

ProVerif symbolic protocol verifier

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

LP-update policy and applications on multi-action RB