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

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

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

A deep learning auto-regressive method is trained to learn the acoustic propagation in presence of obstacles. The method is flexible to account for both far-fields prediction (non-reflecting cases) as well as duct acoustics (non-reflecting BCs).

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

A Provable Coded P2P System

This repo contains an Airfoil demo app I use to lecture about airfoil aerodynamics, solving differential equations through state-space dynamic functions and Runge-Kutta in C/C++, modeling, and others.

Our fork of Frama-C.