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

Showing 1 - 37
  1. asn1-combinators
    Documentation
    Embed typed ASN.1 grammars in OCaml
    David Kaloper Meršinjak
    0.3.2
    ISC
    Used by 7 other packages
    05 Sep 2024
  2. cpuid
    Documentation
    Detect CPU features
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.2
    ISC
    Used by 1 other packages
    03 Apr 2019
  3. 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 196 other packages
    14 Mar 2023
  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
    14 Mar 2023
  5. cstruct-lwt
    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 17 other packages
    14 Mar 2023
  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
    14 Mar 2023
  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
    14 Mar 2023
  8. lru
    Documentation
    Scalable LRU caches
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.3.1
    ISC
    Used by 9 other packages
    26 Oct 2022
  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.9.0
    ISC
    Used by 4 other packages
    05 Mar 2025
  10. mirage-crypto
    Documentation
    Simple symmetric cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.1
    ISC
    Used by 20 other packages
    15 May 2025
  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.0.1
    ISC
    Used by 11 other packages
    15 May 2025
  12. mirage-crypto-rng
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    2.0.1
    ISC
    Used by 52 other packages
    15 May 2025
  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
    27 Feb 2024
  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 7 other packages
    02 Feb 2025
  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.0.1
    BSD-2-Clause
    Used by 3 other packages
    15 May 2025
  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
    21 Oct 2019
  17. mirage-net
    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
    19 Nov 2021
  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
    24 Feb 2019
  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
    15 Nov 2021
  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.9.0
    ISC
    Used by 10 other packages
    05 Mar 2025
  21. mirage-sleep
    Documentation
    Sleep operation for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 19 other packages
    02 Feb 2025
  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
    15 Nov 2021
  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 8 other packages
    18 Jun 2019
  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
    15 Nov 2021
  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
    03 Oct 2019
  26. nocrypto
    Documentation
    Simpler crypto
    org:mirage
    David Kaloper <david@numm.org>
    0.5.4-2
    ISC
    Used by 20 other packages
    03 Nov 2019
  27. notty
    Documentation
    Declaring terminals
    David Kaloper <dk505@cam.ac.uk>
    0.2.3
    ISC
    Used by 17 other packages
    02 Sep 2022
  28. 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
    13 Oct 2018
  29. 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
    10 Apr 2019
  30. 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
    14 Mar 2023
  31. psq
    Documentation
    Functional Priority Search Queues
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.2.1
    ISC
    Used by 15 other packages
    26 Oct 2022
  32. sendmsg
    Documentation
    π-calculus? In _my_ kernel?
    David Kaloper Meršinjak <david@numm.org>
    0.0.2
    ISC
    Used by 0 other packages
    06 Nov 2016
  33. tls
    Documentation
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.1
    BSD-2-Clause
    Used by 25 other packages
    15 Apr 2025
  34. 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.0.1
    BSD-2-Clause
    Used by 0 other packages
    15 Apr 2025
  35. tls-lwt
    Documentation
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.1
    BSD-2-Clause
    Used by 11 other packages
    15 Apr 2025
  36. tls-mirage
    Documentation
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    2.0.1
    BSD-2-Clause
    Used by 11 other packages
    15 Apr 2025
  37. 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.0.6
    BSD-2-Clause
    Used by 34 other packages
    17 Apr 2025