| HACL, a formally verified cryptographic library written in F - Project Everest - project-everest |
| https://github.com/project-everest/hacl-star | ||
| Size | 692.0M (691.9M (+132K)) | |
| Commits | 23028 (23026 (+2)) | |
| Update Stats | 0s ... 2m35s [Ø (last 10) 8s (9,8,10,8,8,9,8,8,9,8))] | |
| Last Change | 2025-10-21 04:37:05 | |
| Last Check | 2026-01-31 23:26:02 | |
| Created | 2020-06-09 00:04:59 |
Operation
Verifying url ...
Mail to Andreas Kupries