High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

Generate hashes from javascript objects in node and the browser.

Stable JS value hash.

JWA implementation (supports all JWS algorithms)

Implementation of JSON Web Signatures

A MurmurHash2 implementation

An incremental implementation of MurmurHash3

Stable JS value hash.

abstract base class for hash-streams

A pure JS implementation SHA256.

SHA256 wrapper for browsers that prefers `window.crypto.subtle` but will fall back to a pure JS implementation in @aws-crypto/sha256-js to provide a consistent interface for SHA256.

A collection of utilities for better-auth

create hashes for browserify

Hashing made simple. Get the hash of a buffer/string/stream/file.

Generates a hash for an installed npm package, useful for salting caches

Lightning fast normal and incremental md5 for javascript

Create a base32 hash

oidc-token-hash validates (and generates) ID Token `_hash` claims such as `at_hash` or `c_hash`

Lightning fast hash functions for browsers and Node.js using hand-tuned WebAssembly binaries (MD4, MD5, SHA-1, SHA-2, SHA-3, Keccak, BLAKE2, BLAKE3, PBKDF2, Argon2, bcrypt, scrypt, Adler-32, CRC32, CRC32C, RIPEMD-160, HMAC, xxHash, SM3, Whirlpool)

Node.js object hash library with properties/arrays sorting to provide constant hashes