Awesome Lean / Libraries
12Cryptography & Compression
11 entries
- leancryptoSHA-256, HMAC-SHA256, RSA verification, codecs and DER.paulbutcher/leancrypto
- lean-cryptoCryptographic routines.joehendrix/lean-crypto
- lean-joseJSON Web Signature, JSON Web Key and JSON Web Token in pure Lean.paulbutcher/lean-jose
- jose-libcryptoOpenSSL backend for lean-jose that adds ECDSA, EdDSA and asymmetric signing.paulbutcher/jose-libcrypto
- lean-libcryptoBindings to OpenSSL 3's libcrypto through its generic EVP interfaces.paulbutcher/lean-libcrypto
- Blake3Bindings to the BLAKE3 hash function (see also Blake3Lean4, a pure Lean implementation).argumentcomputer/BLAKE3
- OpenSSL.leanOpenSSL bindings.argumentcomputer/OpenSSL.lean
- lean-cryptolibVerified Montgomery and Barrett modular reduction.atrieu/lean-cryptolib
- lean-zipCompression library (blog post: "Why Lean is faster than Rust").kim-em/lean-zip
- LeanHuffmanCodingHuffman coding with correctness proofs.AnirudhG07/LeanHuffmanCoding
- LeanBWT-Bzip2bzip2 via the Burrows-Wheeler transform, in pure Lean with proofs.AnirudhG07/LeanBWT-Bzip2