Pinned Loading

1. ARMv7-M_Stacktrace ARMv7-M_Stacktrace Public

   This project is part of the TOLOSAT flight software, which I am currently developing. The goal is to create a Fault Detection, Isolation, and Recovery (FDIR) mechanism for robust fault management.

   C

2. Flacdecode Flacdecode Public

   This little project is a decoder for FLAC Files written in C++ during my first year of engineering school for fun. It only implements the decoding of binary FLAC files without focusing on the compr…

   C++

3. SystemF_TIPE SystemF_TIPE Public

   This project focuses on the System F (aka. polymorphic lambda calculus) typed lambda calculus and its applications in the field of software verification and validation. It gives an implementation o…

   OCaml 1

4. Metamodeling Metamodeling Public

   A meta-modeling project to discover Eclipse Modeling Framework and tools such as Acceleo, XText, Sirius, ATL, ... The goal was to develop a complete toolchain for the validation of processes, writt…

   Java

5. ProjetTOB-JavaCiv/JavaCivGame ProjetTOB-JavaCiv/JavaCivGame Public

   This project is an Oriented Object programming project realized during the first year of engineering at N7. Our goal was to develop a simplified version of the game Civilization using Java and the …

   Java 1

6. AdaPageRanking AdaPageRanking Public

   This project aims to implement Google's page ranking algorithm in Ada using both full and sparse matrix approaches. It was realized by Théo Bessel and Timothé Lebobe, during their first-year at N7 …

   Ada 1