HACL, a formally verified cryptographic library written in F - Project Everest - project-everest |
GitHub | https://github.com/project-everest/hacl-star | |
Size | 547.6M (547.6M (+56K)) | |
Commits | 21847 (21842 (+5)) | |
Update Stats | 0s ... 2m35s [Ø (last 10) 5s (3,4,4,5,3,6,7,5,5,5))] | |
Last Change | 2023-09-16 15:26:19 | |
Last Check | 2023-09-16 15:26:02 | |
Created | 2020-06-09 00:04:59 |
Operation
Verifying url ...
Mail to Andreas Kupries