GitHub repository: mgrojo/ada_spark_workflow
Primary language: Ada
Description: A demo of best practices for open-source Ada/SPARK development