HACL: A High-Assurance Cryptographic Library (github.com)

2 points by deterministic 2y ago ↗ HN

1 comment

[ 1.6 ms ] story [ 17.5 ms ] thread

deterministic 2y ago ↗

… with ready to use C code.