A library of cryptographic primitive -- block ciphers (AES, DES, 3DES), stream ciphers (ARCfour), public-key crypto (RSA, DH), hashes (SHA-1, SHA-256), MACs, random number generation -- all presented with a compositional, extensible interface.
Primary LanguageOCamlOtherNOASSERTION