Explore projects

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.

TimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modellers and computer scientists.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Extensions of GNU Guix for high-performance computing.

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

Additional ROS drivers for the Pepper robot.

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.