A Simple Air Traffic Control simulator written in Ada, modeling aircraft movement, conflict prediction, and separation advisories in a virtual airspace.

Caelum Sufflamen (Latin: “Braking the Sky”) is an embedded system for real-time rocket state estimation and active airbrake control using deterministic scheduling and Kalman-based sensor fusion.