projet de prog BA2 (CS-108 EPFL)
This project is leveraged to visualize rosbags in Matlab for DISAL's Helipal drones.
Decoder for the DSD TP 8/9 led array
DSL in Scala for Constraint Solving with Z3 SMT Solver