An Archlinux operating system tailored for developing software in the Ada and SPARK languages. - View it on GitHub