SPARK

High-Altitude Glider

Flight stack written in Ada/SPARK 2014