Explore projects

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

forked from https://github.com/amtoine/dotfiles

Our fork of Frama-C.

Acado Toolkit solvers testing

This library proposes an easy way to implement real-time algorithms for critical embedded systems.