GitHub repository: AdaCore/SPARK_memory
Primary language: Ada
Description: SPARK code example for SPARK blog post