project-everest/hacl-star
HACL*, a formally verified cryptographic library written in F*
4 best points · 0 comments · 3 Hacker News posts · 1,846 GitHub stars · View on GitHub
Hacker News discussions
- EverCrypt: A Verified Crypto Provider (4 points, 0 comments, by beefman, 2019-04-03)
- HACL*, a formally verified cryptographic library written in F* (2 points, 0 comments, by axiomdata316, 2019-04-04)
- EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance (1 points, 0 comments, by mcguire, 2019-04-04)