@prometheansacrifice/hacl-wasm (npm): Not for public consumption. Javascript bindings for the KaRaMeL-extracted WebAssembly version of the HACL* cryptographic library
Keywords: crypto|webassembly|verified|cryptography|everest|formal-methods|formal-verification|hacl|high-performance|inria|security|verification|verified-primitives