Explore projects

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

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

A project investigating the invertability of random matrices over a finite field.

Recipe for SEMpy library

[IST] ADCS-Module - based on Orekit/Patrius

This repository contains a framework for injecting artificial SEU faults into RISC-V core. This work was done as a part of ISAE Supaero Master Aerospace Engineering degree.