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