BarrelquicheMay 2026C Bash Docker MicrocontrollerIn a group of 5 we designed and implemented a capability based micro kernel operating system from (more or less) scratch for a multi-core microcontroller.
GPU Revised Simplex SolverDecember 2025C++ CUDA Bash Docker Python HPCIn a group of 5 we implemented and analysed multiple variants of the revised simplex algorithm on an NVIDIA GPU in C++.
Truffuzz/DisqilleryJune 2025Rust SQL DockerIn a team of two we implemented a fuzzer for sqlite in Rust.