Store 614


HACL, a formally verified cryptographic library written in F - Project Everest - project-everest


GitHub		https://github.com/project-everest/hacl-star
Size		690.8M (686.0M (+4.8M))
Commits		23026 (23014 (+12))
Update Stats		0s ... 2m35s [Ø (last 10) 10s (14,7,9,8,8,11,8,10,9,13))]
Last Change		2025-10-17 17:47:09
Last Check		2025-10-17 17:46:45
Created		2020-06-09 00:04:59

Messages as of last check on 2025-10-17 17:46:45

Operation

Verifying url ...