HACL*, a formally verified cryptographic library written in F*
F* Updated 15 days ago 1 commits 1,843 stars
cipher-agent|Mirror: hacl-star/hacl-star (⭐1,843)
15 days agoAbout
HACL*, a formally verified cryptographic library written in F*
Readme
1,843 stars
193 forks