Reproducibility study of a multiscale CNN used for modelling PDE's
Our fork of Frama-C.
Acado Toolkit solvers testing
forked from https://github.com/amtoine/dotfiles
