46 search results for "author:"Hannes Mehnert <hannes@mehnert.org>""
Showing 1 - 46
-
Albatross - orchestrate and manage MirageOS unikernels with Solo5Hannes <hannes@ .org>2.4.1ISCUsed by 0 other packages12 Feb 2025
-
Address Resolution Protocol purely in OCamlHannes <hannes@ .org>4.0.0ISCUsed by 3 other packages06 Feb 2025
-
SSH implementation in OCaml0.5.2ISCUsed by 3 other packages29 May 2025
-
SSH implementation in OCaml0.5.2ISCUsed by 3 other packages29 May 2025
-
Detect root CA certificates from the operating systemEtienne Millon <me@emillon.org>, Hannes <hannes@ .org>1.0.1ISCUsed by 13 other packages17 Apr 2025
-
3.113.1ISCUsed by 9 other packages03 Jul 2025
-
Establishing trust in community repositoriesHannes <hannes@ .org>0.11.1BSD-2-ClauseUsed by 1 other packages15 Mar 2020
-
Establishing trust in community repositories: crypto provided via mirage-cryptoHannes <hannes@ .org>0.11.1BSD-2-ClauseUsed by 0 other packages15 Mar 2020
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>10.1.0BSD-2-ClauseUsed by 15 other packages24 May 2025
-
MirageOS let's encrypt certificate retrievalHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 1 other packages24 May 2025
-
Unix command line utilities using uDNSHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 0 other packages24 May 2025
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 4 other packages24 May 2025
-
DNS resolver business logicHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 2 other packages24 May 2025
-
DNS server, primary and secondaryHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 3 other packages24 May 2025
-
DNS stub resolverHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 0 other packages24 May 2025
-
TSIG support for DNSHannes <hannes@ .org>10.1.0BSD-2-ClauseUsed by 5 other packages24 May 2025
-
DNSSec support for OCaml-DNSHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>10.1.0BSD-2-ClauseUsed by 2 other packages24 May 2025
-
RFC 1035 Internet domain namesHannes <hannes@ .org>0.4.1ISCUsed by 32 other packages18 Feb 2025
-
Conversions to various time unitsHannes <hannes@ .org>0.2.1ISCUsed by 44 other packages11 Oct 2022
-
Heterogenous maps over a GADTHannes <hannes@ .org>0.3.0ISCUsed by 3 other packages21 Apr 2019
-
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)Hannes <hannes@ .org>1.0.4BSD-2-ClauseUsed by 1 other packages12 Mar 2020
-
Key Derivation Functions: HKDF RFC 5869, PBKDF RFC 2898, SCRYPT RFC 79141.0.0BSD-2-ClauseUsed by 3 other packages28 Aug 2024
-
ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>1.1.0BSD-2-clauseUsed by 3 other packages28 Feb 2025
-
ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>1.1.0BSD-2-clauseUsed by 0 other packages28 Feb 2025
-
DNS solver for ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>1.1.0BSD-2-clauseUsed by 1 other packages28 Feb 2025
-
ACME implementation in OCaml for MirageOSMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>1.1.0BSD-2-clauseUsed by 0 other packages28 Feb 2025
-
Logs reporter to syslog (UDP/TCP/TLS)Hannes <hannes@ .org>0.5.0ISCUsed by 1 other packages13 Feb 2025
-
Streaming client for Memprof using MirageOS API0.2.1.2.3MITUsed by 1 other packages12 Feb 2025
-
Simple symmetric cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.1ISCUsed by 20 other packages15 May 2025
-
Elliptic Curve Cryptography with primitives taken from Fiat2.0.1MITUsed by 7 other packages15 May 2025
-
Simple public-key cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.1ISCUsed by 11 other packages15 May 2025
-
A cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.1ISCUsed by 52 other packages15 May 2025
-
Feed the entropy source in an Async-friendly wayDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>0.11.3ISCUsed by 1 other packages27 Feb 2024
-
A cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.2.0ISCUsed by 7 other packages02 Feb 2025
-
Entropy collection for a cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.1BSD-2-ClauseUsed by 3 other packages15 May 2025
-
Hexadecimal encoding and decodingHannes <hannes@ .org>0.2.0BSD-2-ClauseUsed by 24 other packages18 Mar 2024
-
Check opam package reproducibility1.0.0ISCUsed by 0 other packages14 Sep 2024
-
Off the record implementation purely in OCamlHannes <hannes@ .org>1.0.0BSD-2-ClauseUsed by 0 other packages21 Oct 2024
-
Patch library purely in OCamlHannes <hannes@ .org> Kate <kit-ty-kate@exn.st>3.0.0ISCUsed by 2 other packages03 Jul 2025
-
Convert from random byte vectors (int -> string) to random native numbersHannes <hannes@ .org>0.2.0ISCUsed by 13 other packages06 Mar 2024
-
Transport Layer Security purely in OCamlDavid Kaloper <david@numm.org> Hannes <hannes@ .org>2.0.1BSD-2-ClauseUsed by 25 other packages15 Apr 2025
-
Transport Layer Security purely in OCaml, Async layer2.0.1BSD-2-ClauseUsed by 0 other packages15 Apr 2025
-
Transport Layer Security purely in OCaml, Lwt layerDavid Kaloper <david@numm.org> Hannes <hannes@ .org>2.0.1BSD-2-ClauseUsed by 11 other packages15 Apr 2025
-
Transport Layer Security purely in OCaml, MirageOS layerDavid Kaloper <david@numm.org> Hannes <hannes@ .org>2.0.1BSD-2-ClauseUsed by 11 other packages15 Apr 2025
-
WebAuthn - authenticating users to services using public key cryptographyReynir Björnsson <reynir@reynir.dk> Hannes <hannes@ .org>0.2.0BSD-2-ClauseUsed by 0 other packages14 Sep 2024
-
Public Key Infrastructure (RFC 5280, PKCS) purely in OCamlHannes <hannes@ .org> David Kaloper <dk505@cam.ac.uk>1.0.6BSD-2-ClauseUsed by 34 other packages17 Apr 2025