Examples of common software engineering constructs written in Ada and SPARK - View it on GitHub