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