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