GitHub repository: AdaCore/spark2014
Primary language: Ada
Description: SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.