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.

A project that investigate the correcteness and performance of different quicksort implementations.

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)

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.

Our fork of Frama-C.