9 search results for "author:"David Kaloper <dk505@cam.ac.uk>""
Showing 1 - 9
-
mirage-crypto
No documentation
Simple symmetric cryptography for the modern age2.0.3ISCUsed by 23 other packages11 Feb 2026 -
mirage-crypto-pk
No documentation
Simple public-key cryptography for the modern age2.0.3ISCUsed by 12 other packages11 Feb 2026 -
mirage-crypto-rng
No documentation
A cryptographically secure PRNG2.0.3ISCUsed by 62 other packages11 Feb 2026 -
Feed the entropy source in an Async-friendly way0.11.3ISCUsed by 1 other packages27 Feb 2024
-
A cryptographically secure PRNG1.2.0ISCUsed by 7 other packages02 Feb 2025
-
mirage-crypto-rng-mirage
No documentation
Entropy collection for a cryptographically secure PRNG2.0.3BSD-2-ClauseUsed by 3 other packages11 Feb 2026 -
Declaring terminals0.2.3ISCUsed by 19 other packages02 Sep 2022
-
Declaring terminals0.2.4ISCUsed by 1 other packages09 Oct 2025
-
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml1.0.6BSD-2-ClauseUsed by 36 other packages17 Apr 2025