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

  1. albatross
    Albatross - orchestrate and manage MirageOS unikernels with Solo5
    Hannes Mehnert <hannes@mehnert.org>
    1.5.6
    ISC
    Used by 0 other packages
    Last published 20 Feb 2023
  2. arp
    Address Resolution Protocol purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    3.1.0
    ISC
    Used by 7 other packages
    Last published 15 Mar 2023
  3. arp-mirage
    Address Resolution Protocol for MirageOS
    Hannes Mehnert <hannes@mehnert.org>
    2.2.1
    ISC
    Used by 2 other packages
    Last published 18 Dec 2019
  4. awa
    SSH implementation in OCaml
    Christiano F. Haesbaert <haesbaert@haesbaert.org> Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    ISC
    Used by 4 other packages
    Last published 22 Mar 2023
  5. awa-mirage
    SSH implementation in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    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
    org:mirage
    Etienne Millon <me@emillon.org>, Hannes Mehnert <hannes@mehnert.org>
    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
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.86
    ISC
    Used by 6 other packages
    Last published 13 Dec 2022
  8. caldav
    A CalDAV server
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.2.1
    ISC
    Used by 0 other packages
    Last published 17 Dec 2022
  9. conex
    Establishing trust in community repositories
    Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert <hannes@mehnert.org>
    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
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    3.3.1
    ISC
    Used by 22 other packages
    Last published 05 Aug 2022
  13. dns
    An opinionated Domain Name System (DNS) library
    Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
    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
    Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert <hannes@mehnert.org>
    7.0.1
    BSD-2-Clause
    Used by 4 other packages
    Last published 28 Feb 2023
  17. dns-resolver
    DNS resolver business logic
    Hannes Mehnert <hannes@mehnert.org>
    7.0.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 28 Feb 2023
  18. dns-server
    DNS server, primary and secondary
    Hannes Mehnert <hannes@mehnert.org>
    7.0.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 28 Feb 2023
  19. dns-stub
    DNS stub resolver
    Hannes Mehnert <hannes@mehnert.org>
    7.0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 28 Feb 2023
  20. dns-tsig
    TSIG support for DNS
    Hannes Mehnert <hannes@mehnert.org>
    7.0.1
    BSD-2-Clause
    Used by 6 other packages
    Last published 28 Feb 2023
  21. dnssec
    DNSSec support for OCaml-DNS
    Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
    7.0.1
    BSD-2-Clause
    Used by 2 other packages
    Last published 28 Feb 2023
  22. domain-name
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.4.0
    ISC
    Used by 25 other packages
    Last published 07 Jan 2022
  23. duration
    Conversions to various time units
    Hannes Mehnert <hannes@mehnert.org>
    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
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy
    3.2.0
    ISC
    Used by 10 other packages
    Last published 13 Mar 2023
  25. gmap
    Heterogenous maps over a GADT
    Hannes Mehnert <hannes@mehnert.org>
    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)
    Hannes Mehnert <hannes@mehnert.org>
    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
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.1.7
    ISC
    Used by 2 other packages
    Last published 23 Oct 2022
  28. letsencrypt
    ACME implementation in OCaml
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    0.5.1
    BSD-2-clause
    Used by 4 other packages
    Last published 14 Mar 2023
  29. letsencrypt-app
    ACME implementation in OCaml
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    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
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    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
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    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)
    Hannes Mehnert <hannes@mehnert.org>
    0.3.2
    ISC
    Used by 0 other packages
    Last published 21 Feb 2023
  33. memtrace-mirage
    Streaming client for Memprof using MirageOS API
    Jane Street Group, LLC <opensource@janestreet.com> Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert
    0.4.0
    ISC
    Used by 3 other packages
    Last published 28 Jan 2022
  35. metrics-mirage
    Mirage backend for the Metrics library
    Hannes Mehnert
    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
    Reynir Bjoernsson Hannes Mehnert
    0.4.0
    ISC
    Used by 2 other packages
    Last published 28 Jan 2022
  37. 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
  38. mirage-bootvar-unix
    Unix implementation of MirageOS Bootvar interface
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    0.1.0
    ISC
    Used by 4 other packages
    Last published 29 Oct 2018
  39. 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
  40. mirage-crypto-ec
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
    0.11.1
    MIT
    Used by 10 other packages
    Last published 14 Mar 2023
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. mirage-fs-mem
    In-memory file system for for MirageOS
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.1.0
    ISC
    Used by 0 other packages
    Last published 12 Nov 2018
  52. mirage-fs-unix
    Passthrough filesystem for MirageOS on Unix
    org:mirage
    Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire
    1.7.0
    Used by 4 other packages
    Last published 31 Oct 2019
  53. mirage-kv
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    6.1.0
    ISC
    Used by 12 other packages
    Last published 01 Feb 2023
  54. mirage-kv-lwt
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    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
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    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
    org:mirage
    Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer
    2.1.0
    Used by 0 other packages
    Last published 31 Oct 2019
  57. 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
  58. mirage-net-fd
    MirageOS network interfaces using raw sockets
    Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
    0.2.1
    ISC
    Used by 0 other packages
    Last published 19 Jun 2017
  59. 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
  60. mirage-net-unix
    Unix implementation of the Mirage_net_lwt interface
    Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
    3.0.0
    ISC
    Used by 0 other packages
    Last published 16 Mar 2022
  61. 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
  62. mirage-random-stdlib
    Random device implementation using the OCaml stdlib
    org:mirage
    Thomas Gazagnaire Hannes Mehnert
    0.1.0
    ISC
    Used by 1 other packages
    Last published 30 Oct 2019
  63. mirage-random-test
    Stub random device implementation for testing
    org:mirage
    Hannes Mehnert
    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
    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
  65. 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
  66. 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
  67. 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
  68. 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
  69. otr
    Off the record implementation purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    0.3.10
    BSD-2-Clause
    Used by 0 other packages
    Last published 26 Oct 2021
  70. patch
    Patch library purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    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
    Hannes Mehnert <hannes@mehnert.org>
    0.1.3
    ISC
    Used by 12 other packages
    Last published 26 Feb 2020
  72. tcpip
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy
    8.0.0
    ISC
    Used by 44 other packages
    Last published 19 Mar 2023
  73. 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
  74. 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
  75. 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
  76. 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
  77. tlstunnel
    Tunnel -- a TLS reverse proxy
    Hannes Mehnert <hannes@mehnert.org>
    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
    Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    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
    Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    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
    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