@smartpy/hacl-wasm (npm): Javascript bindings for the KreMLin-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