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

Showing 51 - 97
  1. mirage-crypto-ec
    Documentation
    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> Virgile Robles <virgile.robles@protonmail.ch> et al.
    1.1.0
    MIT
    Used by 7 other packages
    21 Aug 2024
  2. mirage-crypto-entropy
    Documentation
    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
    19 Mar 2020
  3. mirage-crypto-pk
    Documentation
    Simple public-key cryptography for the modern age
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.1.0
    ISC
    Used by 11 other packages
    21 Aug 2024
  4. mirage-crypto-rng
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.1.0
    ISC
    Used by 38 other packages
    21 Aug 2024
  5. 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>
    1.1.0
    ISC
    Used by 1 other packages
    21 Aug 2024
  6. mirage-crypto-rng-lwt
    Documentation
    A cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.1.0
    ISC
    Used by 7 other packages
    21 Aug 2024
  7. mirage-crypto-rng-mirage
    Documentation
    Entropy collection for a cryptographically secure PRNG
    David Kaloper <dk505@cam.ac.uk> Hannes Mehnert <hannes@mehnert.org>
    1.1.0
    BSD-2-Clause
    Used by 10 other packages
    21 Aug 2024
  8. 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 8 other packages
    21 Oct 2019
  9. mirage-entropy
    Documentation
    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
    26 Feb 2020
  10. mirage-entropy-unix
    Documentation
    MirageOS entropy device
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.2.0
    Used by 0 other packages
    10 Mar 2015
  11. mirage-entropy-xen

    No documentation

    MirageOS entropy device
    org:mirage
    Hannes Mehnert David Kaloper Anil Madhavapeddy Dave Scott
    0.3.0
    BSD-2-Clause
    Used by 1 other packages
    10 Jun 2015
  12. mirage-fs-mem
    Documentation
    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
    12 Nov 2018
  13. mirage-fs-unix
    Documentation
    Passthrough filesystem for MirageOS on Unix
    org:mirage
    Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire
    1.7.0
    Used by 4 other packages
    31 Oct 2019
  14. mirage-kv
    Documentation
    MirageOS signatures for key/value devices
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org> Stefanie Schirmer Hannes Mehnert
    6.1.1
    ISC
    Used by 16 other packages
    03 Apr 2023
  15. mirage-kv-lwt
    Documentation
    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
    25 Feb 2019
  16. mirage-kv-mem
    Documentation
    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
    14 Dec 2022
  17. mirage-kv-unix
    Documentation
    Key-value store for MirageOS backed by Unix filesystem
    org:mirage
    Mindy Preston Hannes Mehnert Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer
    3.0.1
    ISC
    Used by 0 other packages
    18 Apr 2024
  18. 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 13 other packages
    19 Nov 2021
  19. mirage-net-fd
    Documentation
    MirageOS network interfaces using raw sockets
    Anil Madhavapeddy David Scott Thomas Gazagnaire Hannes Mehnert
    0.2.1
    ISC
    Used by 0 other packages
    19 Jun 2017
  20. 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 11 other packages
    24 Feb 2019
  21. mirage-net-unix
    Documentation
    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
    16 Mar 2022
  22. mirage-random
    Documentation
    Random-related devices for MirageOS
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.0.0
    ISC
    Used by 7 other packages
    27 Mar 2024
  23. mirage-random-stdlib
    Documentation
    Random device implementation using the OCaml stdlib
    org:mirage
    Thomas Gazagnaire Hannes Mehnert
    0.1.0
    ISC
    Used by 1 other packages
    30 Oct 2019
  24. mirage-random-test
    Documentation
    Stub random device implementation for testing
    org:mirage
    Hannes Mehnert
    0.1.0
    ISC
    Used by 7 other packages
    30 Oct 2019
  25. mirage-runtime

    No 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.8.2
    ISC
    Used by 10 other packages
    10 Dec 2024
  26. 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 38 other packages
    15 Nov 2021
  27. 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 20 other packages
    18 Jun 2019
  28. 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 13 other packages
    15 Nov 2021
  29. 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.10.8
    ISC
    Used by 5 other packages
    22 Dec 2021
  30. ohex
    Documentation
    Hexadecimal encoding and decoding
    Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    BSD-2-Clause
    Used by 25 other packages
    18 Mar 2024
  31. orb
    Documentation
    Check opam package reproducibility
    Raja Boujbel <rjbou@ocamlpro.com> Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Sep 2024
  32. otr
    Documentation
    Off the record implementation purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    21 Oct 2024
  33. patch
    Documentation
    Patch library purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    2.0.0
    ISC
    Used by 2 other packages
    04 Apr 2024
  34. randomconv
    Documentation
    Convert from random byte vectors (int -> string) to random native numbers
    Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    ISC
    Used by 13 other packages
    06 Mar 2024
  35. tar
    Documentation
    Decode and encode tar format files in pure OCaml
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.1.2
    ISC
    Used by 9 other packages
    20 Sep 2024
  36. tar-eio
    Documentation
    Decode and encode tar format files using Eio
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.1.2
    ISC
    Used by 0 other packages
    20 Sep 2024
  37. tar-mirage
    Documentation
    Read and write tar format files via MirageOS interfaces
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.1.2
    ISC
    Used by 0 other packages
    20 Sep 2024
  38. tar-unix
    Documentation
    Decode and encode tar format files from Unix
    org:xapi-project org:mirage
    Dave Scott Thomas Gazagnaire David Allsopp Antonin Décimo Reynir Björnsson et al.
    3.1.2
    ISC
    Used by 3 other packages
    20 Sep 2024
  39. tcpip
    Documentation
    OCaml TCP/IP networking stack, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    8.2.0
    ISC
    Used by 45 other packages
    22 Aug 2024
  40. tls
    Documentation
    Transport Layer Security purely in OCaml
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    1.0.4
    BSD-2-Clause
    Used by 24 other packages
    29 Oct 2024
  41. 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>
    1.0.4
    BSD-2-Clause
    Used by 0 other packages
    29 Oct 2024
  42. tls-lwt
    Documentation
    Transport Layer Security purely in OCaml, Lwt layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    1.0.4
    BSD-2-Clause
    Used by 6 other packages
    29 Oct 2024
  43. tls-mirage
    Documentation
    Transport Layer Security purely in OCaml, MirageOS layer
    org:mirage
    David Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org>
    1.0.4
    BSD-2-Clause
    Used by 9 other packages
    29 Oct 2024
  44. tlstunnel
    Documentation
    Tunnel -- a TLS reverse proxy
    Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    08 Apr 2018
  45. u2f
    Documentation
    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
    19 Nov 2021
  46. webauthn
    Documentation
    WebAuthn - authenticating users to services using public key cryptography
    Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    14 Sep 2024
  47. 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.5
    BSD-2-Clause
    Used by 37 other packages
    29 Oct 2024
1 2