GitHub repository: AdaCore/sparkformal
Primary language: Coq
Description: The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.