Explore projects

Implementation of bigraphs in Coq.

forked from https://github.com/amtoine/dotfiles

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

[ISAE-SUPAERO] - Mission Analysis

User version - v1.0 - CS-Group

Tool dedicated to preliminary Space Mission Analysis

(Orbit definition, surface coverage, visibility windows, eclipse calculation, etc.)