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