Login
From:
Cryspen
(Uncensored)
subscribe
HACL
https://cryspen.com/hacl/
links
backlinks
Roast topics
Find topics
Find it!
HACL is a set of formally verified cryptographic libraries in C, JavaScript, OCaml, and Rust. The libraries are based on the HACL* research project, originally developed by Inria and Microsoft Research.
