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