OCaml bindings to hacl-star generated C code (https://github.com/mitls/hacl-star)
Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Tezos binding for Hacl* https://github.com/mitls/hacl-star/tree/master/snapshots/tezos commit b69319a0d3b71af8042f487d6a5bac8101edf2d0
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Javascript bindings for the KreMLin-extracted WebAssembly version of the HACL* cryptographic library
Crypto library using formally verified code from the HACL project
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Formally verified Rust code extracted from HACL* - helper library
HACL* FFI
FFI bindings for the HACL C package
hacl sys crate of libcrux.
A pure-rust implementation of the Noise Protocol Framework, with I2P Noise extensions
Libcrux helper to read NIST CAVP test vectors.
The Formally Verified Cryptography Library
Libcrux intrinsics crate
Formally verified AEAD library
Formally verified blake2 hash library