9 search results for "author:"David Kaloper <dk505@cam.ac.uk>""

Showing 1 - 9
  1. mirage-crypto
    Documentation
    Simple symmetric cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.3.0
    ISC
    Used by 26 other packages
    Added to opam-repository
  2. mirage-crypto-pk
    Documentation
    Simple public-key cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.3.0
    ISC
    Used by 13 other packages
    Added to opam-repository
  3. mirage-crypto-rng
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.3.0
    BSD-2-Clause
    Used by 79 other packages
    Added to opam-repository
  4. mirage-crypto-rng-async
    Documentation
    Feed the entropy source in an Async-friendly way
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.3
    ISC
    Used by 1 other packages
    Added to opam-repository
  5. mirage-crypto-rng-lwt
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.2.0
    ISC
    Used by 8 other packages
    Added to opam-repository
  6. mirage-crypto-rng-mirage
    Documentation
    Entropy collection for a cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.3.0
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  7. notty
    Documentation
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.3
    ISC
    Used by 19 other packages
    Added to opam-repository
  8. notty-community
    Documentation
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.4
    ISC
    Used by 10 other packages
    Added to opam-repository
  9. x509
    Documentation
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    1.1.1
    BSD-2-Clause
    Used by 40 other packages
    Added to opam-repository