Explore projects

Implementation of bigraphs in Coq.

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

Implementation of bigraphs in Coq.

Forked from https://codeberg.org/astevan/dotfiles

Miroir en vue du départ d'Antoine.

Implements the nanorod equation and incompressible Navier-Stokes equation using the port-Hamiltonian formalism

A CLI application to plot data with Matplotlib.

Cryptographically-proven Erasure Coding

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

This repository contains a framework for injecting artificial SEU faults into RISC-V core. This work was done as a part of ISAE Supaero Master Aerospace Engineering degree.