Sample application for MLH Localhost: Bug-free programming with SPARK Ada - View it on GitHub