cryptography in OCaml for the modern age (dev)

 Mirage-crypto provides symmetric ciphers (DES, AES, RC4,
 ChaCha20/Poly1305), and hashes (MD5, SHA-1, SHA-2).
 .
 Mirage-crypto-rng provides a random number generator interface, and
 implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in
 the unix sublibrary).
 .
 Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).
 .
 Mirage-crypto-ec provides an implementation of key exchange (ECDH)
 and digital signature (ECDSA/EdDSA) algorithms using code from Fiat
 (https://github.com/mit-plv/fiat-crypto). The curves P224
 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1), P521 (SECP521R1),
 and 25519 (X25519, Ed25519) are implemented by this package.
 .
 This package contains development files.