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