Explore projects

A project investigating the invertability of random matrices over a finite field.

A repository for our fork of Frama-C.

Implementation of bigraphs in Coq.

Fork of Certyflie project from AdaCore, cf. https://github.com/AdaCore/Certyflie

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).