Explore projects

Embedded Oberon compiler for Cortex-M embedded targets

Cryptographically-proven Erasure Coding

mirror: https://github.com/dragoon-rs/komodo

This project contains gazebo simulations environment for use with ros2.

Implementation of bigraphs in Rocq Prover.

Nanospace Docker Images (Front-End/Back-End)

Classes LaTeX respectant la charte graphique de l'ISAE-SUPAERO.

Implementation of bigraphs in Coq.

Miroir en vue du départ d'Antoine.