Explore projects

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

Cryptographically-proven Erasure Coding

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

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.

Implementation of bigraphs in Rocq Prover.

This project implements the nanorod equation, Dzektser equation and coupled Heat-Wave equations using the port-Hamiltonian formalism

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

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

awesome_ros2_tutorials is a gitlab project who containt the docs, and the packages for taking in hand ros2 in the isae autonomous platform.

A repository for our fork of Frama-C.

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.