Explore projects

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

Explores ways to branch an RNG to measure things about a random process without changing the state of the RNG when doing measures or not.

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

Contains SEMpy's documentation and a set of examples of the library applications.

[ISAE-SUPAERO] (Chamal PERERA - Guillaume ROUX)