Explore projects

Reproducibility study of a multiscale CNN used for modelling PDE's

A repository for our fork of Frama-C.

Ros2 packages

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

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

Projet public mettant à disposition l’exécutable d'installation

In this repository, you can find information about the tool Model-based to Design Matrix (MB2DM) which is for the creation of design structure matrices from SysML models.

Projet public mettant à disposition l’exécutable d'installation

ISAE Group Drone Competition MATLAB port code.