hacl-star's tracked open-source repos, sorted by stars.
HACL*, a formally verified cryptographic library written in F*
