38 search results for "author:"David Kaloper""

Showing 1 - 38
  1. asn1-combinators
    Documentation
    Embed typed ASN.1 grammars in OCaml
    David Kaloper Meršinjak
    0.3.2
    ISC
    Used by 7 other packages
    Added to opam-repository
  2. cpuid
    Documentation
    Detect CPU features
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  3. cstruct

    No documentation

    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 204 other packages
    Added to opam-repository
  4. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  5. cstruct-lwt

    No documentation

    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 16 other packages
    Added to opam-repository
  6. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 6 other packages
    Added to opam-repository
  7. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 9 other packages
    Added to opam-repository
  8. lru
    Documentation
    Scalable LRU caches
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.3.1
    ISC
    Used by 11 other packages
    Added to opam-repository
  9. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.11.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  10. mirage-crypto
    Documentation
    Simple symmetric cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.4.1
    ISC
    Used by 26 other packages
    Added to opam-repository
  11. mirage-crypto-pk
    Documentation
    Simple public-key cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.4.1
    ISC
    Used by 13 other packages
    Added to opam-repository
  12. mirage-crypto-rng
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.4.1
    BSD-2-Clause
    Used by 79 other packages
    Added to opam-repository
  13. 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
  14. 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
  15. mirage-crypto-rng-mirage
    Documentation
    Entropy collection for a cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.4.1
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  16. mirage-device
    Documentation
    Abstract devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    2.0.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  17. mirage-net

    No documentation

    Network signatures for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 9 other packages
    Added to opam-repository
  18. mirage-net-lwt
    Documentation
    Network signatures for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    2.0.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  19. mirage-random
    Documentation
    Random-related devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 14 other packages
    Added to opam-repository
  20. mirage-runtime
    Documentation
    The base MirageOS runtime library, part of every MirageOS unikernel
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.11.2
    ISC
    Used by 10 other packages
    Added to opam-repository
  21. mirage-sleep
    Documentation
    Sleep operation for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.1.0
    ISC
    Used by 20 other packages
    Added to opam-repository
  22. mirage-time
    Documentation
    Time operations for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 27 other packages
    Added to opam-repository
  23. mirage-time-lwt
    Documentation
    Time operations for MirageOS with Lwt
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    1.3.0
    ISC
    Used by 5 other packages
    Added to opam-repository
  24. mirage-time-unix
    Documentation
    Time operations for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.0.0
    ISC
    Used by 8 other packages
    Added to opam-repository
  25. mirage-types
    Documentation
    Module type definitions for MirageOS applications
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.6.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  26. nocrypto

    No documentation

    Simpler crypto
    org:mirage
    David Kaloper <david@numm.org>
    0.5.4-2
    ISC
    Used by 19 other packages
    Added to opam-repository
  27. notty
    Documentation
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.3
    ISC
    Used by 19 other packages
    Added to opam-repository
  28. notty-community
    Documentation
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.4
    ISC
    Used by 10 other packages
    Added to opam-repository
  29. ocb-stubblr
    Documentation
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 8 other packages
    Added to opam-repository
  30. papi
    Documentation
    Performance Application Programming Interface (PAPI) bindings
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  31. ppx_cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 22 other packages
    Added to opam-repository
  32. psq
    Documentation
    Functional Priority Search Queues
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.2.1
    ISC
    Used by 16 other packages
    Added to opam-repository
  33. sendmsg
    Documentation
    π-calculus? In _my_ kernel?
    David Kaloper Meršinjak <david@numm.org>
    0.0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  34. tls
    Documentation
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.2
    BSD-2-Clause
    Used by 36 other packages
    Added to opam-repository
  35. tls-async
    Documentation
    Transport Layer Security purely in OCaml, Async layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>
    2.1.2
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  36. tls-lwt
    Documentation
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.2
    BSD-2-Clause
    Used by 14 other packages
    Added to opam-repository
  37. tls-mirage
    Documentation
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.1.2
    BSD-2-Clause
    Used by 12 other packages
    Added to opam-repository
  38. 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