GitHub repository: palainp/mirage-crypto
Description: Cryptographic primitives for MirageOS