Explore projects

SEMpy is a Research Tool for Mission Analysis in the Sun-Earth-Moon System

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.

A repository for our fork of Frama-C.

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

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

Recipe for SEMpy library

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

The PhD day at ISAE-Supaero. (template from https://github.com/hakimel/reveal.js)