GitHub repository: HeisenbugLtd/Saatana
Primary language: Ada
Description: A cryptographic framework, proven for correctness in SPARK