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

  1. asn1-combinators
    Embed typed ASN.1 grammars in OCaml
    0.2.6
    ISC
    Used by 10 other packages
    Last published 04 Aug 2021
  2. cpuid
    Detect CPU features
    0.1.2
    ISC
    Used by 2 other packages
    Last published 03 Apr 2019
  3. cstruct
    Access C-like structures directly from OCaml
  4. cstruct-async
    Access C-like structures directly from OCaml
  5. cstruct-lwt
    Access C-like structures directly from OCaml
  6. cstruct-sexp
    S-expression serialisers for C-like structures
  7. cstruct-unix
    Access C-like structures directly from OCaml
  8. lru
    Scalable LRU caches
    0.3.1
    ISC
    Used by 8 other packages
    Last published 26 Oct 2022
  9. mirage
    The MirageOS library operating system
  10. mirage-crypto
    Simple symmetric cryptography for the modern age
    0.11.1
    ISC
    Used by 43 other packages
    Last published 14 Mar 2023
  11. mirage-crypto-entropy
    Entropy source for MirageOS unikernels
    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
    0.11.1
    ISC
    Used by 20 other packages
    Last published 14 Mar 2023
  13. mirage-crypto-rng
    A cryptographically secure PRNG
    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
    0.11.1
    ISC
    Used by 1 other packages
    Last published 14 Mar 2023
  15. mirage-crypto-rng-lwt
    A cryptographically secure PRNG
    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
    0.11.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 14 Mar 2023
  17. mirage-device
    Abstract devices for MirageOS
  18. mirage-entropy
    Entropy source for MirageOS unikernels
    0.5.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 26 Feb 2020
  19. mirage-entropy-unix
    MirageOS entropy device
    0.2.0
    Used by 0 other packages
    Last published 10 Mar 2015
  20. mirage-entropy-xen
    MirageOS entropy device
    0.3.0
    BSD-2-Clause
    Used by 1 other packages
    Last published 10 Jun 2015
  21. mirage-net
    Network signatures for MirageOS
  22. mirage-net-lwt
    Network signatures for MirageOS
  23. mirage-os-shim
    Portable shim for MirageOS OS API
    3.1.0
    ISC
    Used by 1 other packages
    Last published 12 Nov 2018
  24. mirage-random
    Random-related devices for MirageOS
  25. mirage-runtime
    The base MirageOS runtime library, part of every MirageOS unikernel
  26. mirage-time
    Time operations for MirageOS
  27. mirage-time-lwt
    Time operations for MirageOS with Lwt
  28. mirage-time-unix
    Time operations for MirageOS on Unix
  29. mirage-types
    Module type definitions for MirageOS applications
  30. nocrypto
    Simpler crypto
    0.5.4-2
    ISC
    Used by 42 other packages
    Last published 03 Nov 2019
  31. notty
    Declaring terminals
    0.2.3
    ISC
    Used by 11 other packages
    Last published 02 Sep 2022
  32. ocb-stubblr
    OCamlbuild plugin for C stubs
    0.1.1-1
    ISC
    Used by 14 other packages
    Last published 13 Oct 2018
  33. papi
    Performance Application Programming Interface (PAPI) bindings
    0.1.1
    ISC
    Used by 0 other packages
    Last published 10 Apr 2019
  34. ppx_cstruct
    Access C-like structures directly from OCaml
  35. psq
    Functional Priority Search Queues
    0.2.1
    ISC
    Used by 10 other packages
    Last published 26 Oct 2022
  36. sendmsg
    π-calculus? In _my_ kernel?
    0.0.2
    ISC
    Used by 0 other packages
    Last published 06 Nov 2016
  37. tls
    Transport Layer Security purely in OCaml
    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
  39. tls-lwt
    Transport Layer Security purely in OCaml, Lwt layer
    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
    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
    0.16.4
    BSD-2-Clause
    Used by 28 other packages
    Last published 13 Feb 2023