GitHub repository: AdaCore/spark_translator
Primary language: Python
Created: 2020-08-12T21:48:07Z
Description: SPARK 2005 to 2014 translator