Explore projects

Fork of Certyflie project from AdaCore, cf. https://github.com/AdaCore/Certyflie

Reproducibility study of a multiscale CNN used for modelling PDE's

Copy of the original CREME project scripts. This copy is used to learn the functioning of the original simulations and modify it.

A repository for our fork of Frama-C.

Forked from https://github.com/amtoine/config.nvim

awesome_ros2_tutorials is a gitlab project who containt the docs, and the packages for taking in hand ros2 in the isae autonomous platform.