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