HACL, a formally verified cryptographic library written in F - Project Everest - project-everest |
https://github.com/project-everest/hacl-star | ||
Size | 659.6M (654.0M (+5.6M)) | |
Commits | 22957 (22949 (+8)) | |
Update Stats | 0s ... 2m35s [Ø (last 10) 9s (10,11,7,12,6,10,7,7,11,13))] | |
Last Change | 2025-07-04 22:37:01 | |
Last Check | 2025-07-04 22:36:39 | |
Created | 2020-06-09 00:04:59 |
Operation
Verifying url ...
Mail to Andreas Kupries