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