Yet Another Kalman Filter
Dynamic ODE simulator of multiple DISAL drones
The first real-time VDM-based navigation prototype
Scientific Programming Homework repo
sp4e course