1 result found Sort:

hacl-star
hacl-star hacl-star
162
1.6k
apache-2.0
77
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,654 commits to main branch, last one 25 days ago