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

  1. asn1-combinators
    Embed typed ASN.1 grammars in OCaml
    David Kaloper Meršinjak
    0.2.6
    ISC
    Used by 10 other packages
    Last published 04 Aug 2021
  2. cpuid
    Detect CPU features
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.2
    ISC
    Used by 2 other packages
    Last published 03 Apr 2019
  3. cstruct
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
    6.2.0
    ISC
    Used by 232 other packages
    Last published 14 Mar 2023
  4. cstruct-async
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 2 other packages
    Last published 14 Mar 2023
  5. cstruct-lwt
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 28 other packages
    Last published 14 Mar 2023
  6. cstruct-sexp
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
    6.2.0
    ISC
    Used by 7 other packages
    Last published 14 Mar 2023
  7. cstruct-unix
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 12 other packages
    Last published 14 Mar 2023
  8. lru
    Scalable LRU caches
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.3.1
    ISC
    Used by 8 other packages
    Last published 26 Oct 2022
  9. mirage
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    4.3.5
    ISC
    Used by 4 other packages
    Last published 21 Mar 2023
  10. mirage-crypto
    Simple symmetric cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    ISC
    Used by 43 other packages
    Last published 14 Mar 2023
  11. mirage-crypto-entropy
    Entropy source for MirageOS unikernels
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.6.2
    BSD-2-Clause
    Used by 0 other packages
    Last published 19 Mar 2020
  12. mirage-crypto-pk
    Simple public-key cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    ISC
    Used by 20 other packages
    Last published 14 Mar 2023
  13. mirage-crypto-rng
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    ISC
    Used by 43 other packages
    Last published 14 Mar 2023
  14. mirage-crypto-rng-async
    Feed the entropy source in an Async-friendly way
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    ISC
    Used by 1 other packages
    Last published 14 Mar 2023
  15. mirage-crypto-rng-lwt
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    ISC
    Used by 6 other packages
    Last published 14 Mar 2023
  16. mirage-crypto-rng-mirage
    Entropy collection for a cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    0.11.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 14 Mar 2023
  17. mirage-device
    Abstract devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    2.0.0
    ISC
    Used by 8 other packages
    Last published 21 Oct 2019
  18. mirage-entropy
    Entropy source for MirageOS unikernels
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.5.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 26 Feb 2020
  19. mirage-entropy-unix
    MirageOS entropy device
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.2.0
    Used by 0 other packages
    Last published 10 Mar 2015
  20. mirage-entropy-xen
    MirageOS entropy device
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.3.0
    BSD-2-Clause
    Used by 1 other packages
    Last published 10 Jun 2015
  21. mirage-net
    Network signatures for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    4.0.0
    ISC
    Used by 13 other packages
    Last published 19 Nov 2021
  22. mirage-net-lwt
    Network signatures for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    2.0.0
    ISC
    Used by 11 other packages
    Last published 24 Feb 2019
  23. mirage-os-shim
    Portable shim for MirageOS OS API
    David Kaloper Meršinjak <david@numm.org>
    3.1.0
    ISC
    Used by 1 other packages
    Last published 12 Nov 2018
  24. mirage-random
    Random-related devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    3.0.0
    ISC
    Used by 23 other packages
    Last published 15 Nov 2021
  25. mirage-runtime
    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 Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    4.3.5
    ISC
    Used by 10 other packages
    Last published 21 Mar 2023
  26. mirage-time
    Time operations for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    3.0.0
    ISC
    Used by 37 other packages
    Last published 15 Nov 2021
  27. mirage-time-lwt
    Time operations for MirageOS with Lwt
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    1.3.0
    ISC
    Used by 20 other packages
    Last published 18 Jun 2019
  28. mirage-time-unix
    Time operations for MirageOS on Unix
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    3.0.0
    ISC
    Used by 13 other packages
    Last published 15 Nov 2021
  29. mirage-types
    Module type definitions for MirageOS applications
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    3.10.8
    ISC
    Used by 5 other packages
    Last published 22 Dec 2021
  30. nocrypto
    Simpler crypto
    org:mirage
    David Kaloper <david@numm.org>
    0.5.4-2
    ISC
    Used by 42 other packages
    Last published 03 Nov 2019
  31. notty
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.3
    ISC
    Used by 11 other packages
    Last published 02 Sep 2022
  32. ocb-stubblr
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 14 other packages
    Last published 13 Oct 2018
  33. papi
    Performance Application Programming Interface (PAPI) bindings
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.1
    ISC
    Used by 0 other packages
    Last published 10 Apr 2019
  34. ppx_cstruct
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 39 other packages
    Last published 14 Mar 2023
  35. psq
    Functional Priority Search Queues
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.2.1
    ISC
    Used by 10 other packages
    Last published 26 Oct 2022
  36. sendmsg
    π-calculus? In _my_ kernel?
    David Kaloper Meršinjak <david@numm.org>
    0.0.2
    ISC
    Used by 0 other packages
    Last published 06 Nov 2016
  37. tls
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    0.17.0
    BSD-2-Clause
    Used by 46 other packages
    Last published 02 Mar 2023
  38. tls-async
    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>
    0.17.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 02 Mar 2023
  39. tls-lwt
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    0.17.0
    BSD-2-Clause
    Used by 9 other packages
    Last published 02 Mar 2023
  40. tls-mirage
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    0.17.0
    BSD-2-Clause
    Used by 12 other packages
    Last published 02 Mar 2023
  41. x509
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    0.16.4
    BSD-2-Clause
    Used by 28 other packages
    Last published 13 Feb 2023