GitHub repository: pnmadelaine/hacl-star
Primary language: F*
Description: HACL*, a formally verified cryptographic library written in F*