GitHub repository: GaloisInc/hacrypto
Primary language: C
Description: Experiments in high-assurance crypto.