80 search results for "author:"Hannes Mehnert""

  1. albatross
    Albatross - orchestrate and manage MirageOS unikernels with Solo5
    1.5.6
    ISC
    Used by 0 other packages
    Last published 20 Feb 2023
  2. arp
    Address Resolution Protocol purely in OCaml
    3.1.0
    ISC
    Used by 7 other packages
    Last published 15 Mar 2023
  3. arp-mirage
    Address Resolution Protocol for MirageOS
    2.2.1
    ISC
    Used by 2 other packages
    Last published 18 Dec 2019
  4. awa
    SSH implementation in OCaml
    0.2.0
    ISC
    Used by 4 other packages
    Last published 22 Mar 2023
  5. awa-mirage
    SSH implementation in OCaml
    0.2.0
    ISC
    Used by 1 other packages
    Last published 22 Mar 2023
  6. ca-certs
    Detect root CA certificates from the operating system
    0.2.3
    ISC
    Used by 8 other packages
    Last published 02 Sep 2022
  7. ca-certs-nss
    X.509 trust anchors extracted from Mozilla's NSS
    3.86
    ISC
    Used by 6 other packages
    Last published 13 Dec 2022
  8. caldav
    A CalDAV server
    0.2.1
    ISC
    Used by 0 other packages
    Last published 17 Dec 2022
  9. conex
    Establishing trust in community repositories
    0.11.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 15 Mar 2020
  10. conex-mirage-crypto
    Establishing trust in community repositories: crypto provided via mirage-crypto
    0.11.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 15 Mar 2020
  11. conex-nocrypto
    Establishing trust in community repositories: crypto provided via nocrypto
    0.11.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 22 Dec 2019
  12. crunch
    Convert a filesystem into a static OCaml module
    3.3.1
    ISC
    Used by 22 other packages
    Last published 05 Aug 2022
  13. dns
    An opinionated Domain Name System (DNS) library
    7.0.1
    BSD-2-Clause
    Used by 14 other packages
    Last published 28 Feb 2023
  14. dns-certify
    MirageOS let's encrypt certificate retrieval
    7.0.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 28 Feb 2023
  15. dns-cli
    Unix command line utilities using uDNS
    7.0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 28 Feb 2023
  16. dns-mirage
    An opinionated Domain Name System (DNS) library
    7.0.1
    BSD-2-Clause
    Used by 4 other packages
    Last published 28 Feb 2023
  17. dns-resolver
    DNS resolver business logic
    7.0.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 28 Feb 2023
  18. dns-server
    DNS server, primary and secondary
    7.0.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 28 Feb 2023
  19. dns-stub
    DNS stub resolver
    7.0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 28 Feb 2023
  20. dns-tsig
    TSIG support for DNS
    7.0.1
    BSD-2-Clause
    Used by 6 other packages
    Last published 28 Feb 2023
  21. dnssec
    DNSSec support for OCaml-DNS
    7.0.1
    BSD-2-Clause
    Used by 2 other packages
    Last published 28 Feb 2023
  22. domain-name
    RFC 1035 Internet domain names
    0.4.0
    ISC
    Used by 25 other packages
    Last published 07 Jan 2022
  23. duration
    Conversions to various time units
    0.2.1
    ISC
    Used by 46 other packages
    Last published 11 Oct 2022
  24. ethernet
    OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
  25. gmap
    Heterogenous maps over a GADT
    0.3.0
    ISC
    Used by 3 other packages
    Last published 21 Apr 2019
  26. hkdf
    HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
    1.0.4
    BSD-2-Clause
    Used by 1 other packages
    Last published 12 Mar 2020
  27. icalendar
    A library to parse and print the iCalendar (RFC 5545) format
    0.1.7
    ISC
    Used by 2 other packages
    Last published 23 Oct 2022
  28. letsencrypt
    ACME implementation in OCaml
    0.5.1
    BSD-2-clause
    Used by 4 other packages
    Last published 14 Mar 2023
  29. letsencrypt-app
    ACME implementation in OCaml
    0.5.1
    BSD-2-clause
    Used by 0 other packages
    Last published 14 Mar 2023
  30. letsencrypt-dns
    DNS solver for ACME implementation in OCaml
    0.5.1
    BSD-2-clause
    Used by 1 other packages
    Last published 14 Mar 2023
  31. letsencrypt-mirage
    ACME implementation in OCaml for MirageOS
    0.5.1
    BSD-2-clause
    Used by 0 other packages
    Last published 14 Mar 2023
  32. logs-syslog
    Logs reporter to syslog (UDP/TCP/TLS)
    0.3.2
    ISC
    Used by 0 other packages
    Last published 21 Feb 2023
  33. memtrace-mirage
    Streaming client for Memprof using MirageOS API
    0.2.1.2.2
    MIT
    Used by 1 other packages
    Last published 22 May 2022
  34. metrics-influx
    Influx reporter for the Metrics library
    0.4.0
    ISC
    Used by 3 other packages
    Last published 28 Jan 2022
  35. metrics-mirage
    Mirage backend for the Metrics library
    0.3.0
    ISC
    Used by 0 other packages
    Last published 04 Jun 2021
  36. metrics-rusage
    Resource usage (getrusage) sources for the Metrics library
    0.4.0
    ISC
    Used by 2 other packages
    Last published 28 Jan 2022
  37. mirage
    The MirageOS library operating system
  38. mirage-bootvar-unix
    Unix implementation of MirageOS Bootvar interface
    0.1.0
    ISC
    Used by 4 other packages
    Last published 29 Oct 2018
  39. mirage-crypto
    Simple symmetric cryptography for the modern age
    0.11.1
    ISC
    Used by 43 other packages
    Last published 14 Mar 2023
  40. mirage-crypto-ec
    Elliptic Curve Cryptography with primitives taken from Fiat
  41. mirage-crypto-entropy
    Entropy source for MirageOS unikernels
    0.6.2
    BSD-2-Clause
    Used by 0 other packages
    Last published 19 Mar 2020
  42. 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
  43. mirage-crypto-rng
    A cryptographically secure PRNG
    0.11.1
    ISC
    Used by 43 other packages
    Last published 14 Mar 2023
  44. 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
  45. mirage-crypto-rng-lwt
    A cryptographically secure PRNG
    0.11.1
    ISC
    Used by 6 other packages
    Last published 14 Mar 2023
  46. 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
  47. mirage-device
    Abstract devices for MirageOS
  48. mirage-entropy
    Entropy source for MirageOS unikernels
    0.5.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 26 Feb 2020
  49. mirage-entropy-unix
    MirageOS entropy device
    0.2.0
    Used by 0 other packages
    Last published 10 Mar 2015
  50. mirage-entropy-xen
    MirageOS entropy device
    0.3.0
    BSD-2-Clause
    Used by 1 other packages
    Last published 10 Jun 2015
  51. mirage-fs-mem
    In-memory file system for for MirageOS
    0.1.0
    ISC
    Used by 0 other packages
    Last published 12 Nov 2018
  52. mirage-fs-unix
    Passthrough filesystem for MirageOS on Unix
    1.7.0
    Used by 4 other packages
    Last published 31 Oct 2019
  53. mirage-kv
    MirageOS signatures for key/value devices
    6.1.0
    ISC
    Used by 12 other packages
    Last published 01 Feb 2023
  54. mirage-kv-lwt
    MirageOS signatures for key/value devices
    2.0.0
    ISC
    Used by 11 other packages
    Last published 25 Feb 2019
  55. mirage-kv-mem
    In-memory key value store for MirageOS
    3.2.1
    ISC
    Used by 2 other packages
    Last published 14 Dec 2022
  56. mirage-kv-unix
    Key-value store for MirageOS backed by Unix filesystem
  57. mirage-net
    Network signatures for MirageOS
  58. mirage-net-fd
    MirageOS network interfaces using raw sockets
    0.2.1
    ISC
    Used by 0 other packages
    Last published 19 Jun 2017
  59. mirage-net-lwt
    Network signatures for MirageOS
  60. mirage-net-unix
    Unix implementation of the Mirage_net_lwt interface
    3.0.0
    ISC
    Used by 0 other packages
    Last published 16 Mar 2022
  61. mirage-random
    Random-related devices for MirageOS
  62. mirage-random-stdlib
    Random device implementation using the OCaml stdlib
    0.1.0
    ISC
    Used by 1 other packages
    Last published 30 Oct 2019
  63. mirage-random-test
    Stub random device implementation for testing
    0.1.0
    ISC
    Used by 7 other packages
    Last published 30 Oct 2019
  64. mirage-runtime
    The base MirageOS runtime library, part of every MirageOS unikernel
  65. mirage-time
    Time operations for MirageOS
  66. mirage-time-lwt
    Time operations for MirageOS with Lwt
  67. mirage-time-unix
    Time operations for MirageOS on Unix
  68. mirage-types
    Module type definitions for MirageOS applications
  69. otr
    Off the record implementation purely in OCaml
    0.3.10
    BSD-2-Clause
    Used by 0 other packages
    Last published 26 Oct 2021
  70. patch
    Patch library purely in OCaml
    1.0.1
    ISC
    Used by 0 other packages
    Last published 28 Oct 2022
  71. randomconv
    Convert from random byte vectors (Cstruct.t) to random native numbers
    0.1.3
    ISC
    Used by 12 other packages
    Last published 26 Feb 2020
  72. tcpip
    OCaml TCP/IP networking stack, used in MirageOS
  73. tls
    Transport Layer Security purely in OCaml
    0.17.0
    BSD-2-Clause
    Used by 46 other packages
    Last published 02 Mar 2023
  74. tls-async
    Transport Layer Security purely in OCaml, Async layer
  75. 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
  76. 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
  77. tlstunnel
    Tunnel -- a TLS reverse proxy
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 08 Apr 2018
  78. u2f
    Universal Second Factor (U2F) implementation in OCaml
    0.1.2
    BSD-2-Clause
    Used by 0 other packages
    Last published 19 Nov 2021
  79. webauthn
    WebAuthn - authenticating users to services using public key cryptography
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 19 Nov 2021
  80. 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