GitHub repository: Dargones/aws-encryption-sdk-dafny
Primary language: Dafny
Description: AWS Encryption SDK for Dafny