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

2 points by deterministic 2y ago ↗ HN

1 comment

[ 3.7 ms ] story [ 18.7 ms ] thread

deterministic 2y ago ↗

… with ready to use C code.