Thibault's Projects
A list of awesome community uses of the NASA-JPL F´ framework.
A space for experimentation designed to explore Bazel's capabilities in a multi-language environment.
Docker runner for build-bench
A Cmake-bAsed Build chaIN tEmplaTe foR sYstems
Circle detection with RANSAC algorithm
C++ library for composing modular firmware at compile-time.
Laboratory presenting the main design methods for single and multiple visibility satellite constellations. and multiple visibility.
An implementation of C++ "senders and receivers" async framework suitable for embedded platforms.
Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to be used in earlier versions. It also implements some nonstandard but useful extras.
C++ Fixed Containers
F' - A flight software and embedded systems framework
A Docker-based NASA F' Development Container For Visual Studio Code
Benchmark of the Fast Fourier Transform (FFT) with F´
F´ (FPrime) memory footprint benchmark
F´ PoC on RTEMS LEON 3 w/ Renode
Framework notation visualization (prototype for my publication)
Repository containing notes taken on the fly during the Flight Software Workshop.
Tutorial to understand the impact of multipath on GNSS signals | MATLAB
GRANITE - GeneRic softwAre iNterface RequIrement gEnerator
PoC of a VSCode DevContainer for some feasibility tests in C++
Safe arithmetic library for C++20 and above. Safe arithmetic ensures correctness of arithmetic operations at compile-time. It protects against overflow, underflow, divide by zero, and out-of-bounds index access. This provides both functional correctness as well as greater protection against related security threats.
Some algorithms implemented in C language that I use or not on a daily basis, some are my own dogfood.
Video compression implementation project in MATLAB