1 result found Sort:

hacl-star
hacl-star hacl-star
170
1.6k
apache-2.0
78
HACL*, a formally verified cryptographic library written in F*
hacl inria everest security cryptography verification formal-methods high-performance formal-verification verified-primitives
Created 2016-06-23
18,763 commits to main branch, last one 13 days ago