51 search results for "author:"Hannes Mehnert <hannes@mehnert.org>""
Showing 1 - 50
-
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 6 other packages06 Feb 2025
-
Address Resolution Protocol for MirageOSHannes <hannes@ .org>2.2.1ISCUsed by 2 other packages18 Dec 2019
-
SSH implementation in OCaml0.5.0ISCUsed by 3 other packages06 Feb 2025
-
SSH implementation in OCaml0.5.0ISCUsed by 2 other packages06 Feb 2025
-
Detect root CA certificates from the operating systemEtienne Millon <me@emillon.org>, Hannes <hannes@ .org>1.0.0ISCUsed by 12 other packages06 Aug 2024
-
3.108-1ISCUsed by 7 other packages06 Feb 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
-
Establishing trust in community repositories: crypto provided via nocryptoHannes <hannes@ .org>0.11.0BSD-2-ClauseUsed by 0 other packages22 Dec 2019
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>10.0.0BSD-2-ClauseUsed by 15 other packages13 Feb 2025
-
MirageOS let's encrypt certificate retrievalHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 1 other packages13 Feb 2025
-
Unix command line utilities using uDNSHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 0 other packages13 Feb 2025
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 4 other packages13 Feb 2025
-
DNS resolver business logicHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 1 other packages13 Feb 2025
-
DNS server, primary and secondaryHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 3 other packages13 Feb 2025
-
DNS stub resolverHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 0 other packages13 Feb 2025
-
TSIG support for DNSHannes <hannes@ .org>10.0.0BSD-2-ClauseUsed by 6 other packages13 Feb 2025
-
DNSSec support for OCaml-DNSHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>10.0.0BSD-2-ClauseUsed by 2 other packages13 Feb 2025
-
RFC 1035 Internet domain namesHannes <hannes@ .org>0.4.1ISCUsed by 33 other packages18 Feb 2025
-
Conversions to various time unitsHannes <hannes@ .org>0.2.1ISCUsed by 49 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>2.0.0BSD-2-ClauseUsed by 1 other packages30 Jun 2024
-
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 4 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
-
0.1.0ISCUsed by 4 other packages29 Oct 2018
-
Simple symmetric cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.0ISCUsed by 21 other packages06 Feb 2025
-
Elliptic Curve Cryptography with primitives taken from Fiat2.0.0MITUsed by 7 other packages06 Feb 2025
-
Simple public-key cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.0ISCUsed by 11 other packages06 Feb 2025
-
A cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>2.0.0ISCUsed by 48 other packages06 Feb 2025
-
Feed the entropy source in an Async-friendly wayDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.2.0ISCUsed by 1 other packages02 Feb 2025
-
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.0BSD-2-ClauseUsed by 3 other packages06 Feb 2025
-
Hexadecimal encoding and decodingHannes <hannes@ .org>0.2.0BSD-2-ClauseUsed by 27 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@outlook.com>3.0.0~alpha1ISCUsed by 0 other packages09 Mar 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.0BSD-2-ClauseUsed by 25 other packages06 Feb 2025
-
Transport Layer Security purely in OCaml, Async layer2.0.0BSD-2-ClauseUsed by 0 other packages06 Feb 2025
-
Transport Layer Security purely in OCaml, Lwt layerDavid Kaloper <david@numm.org> Hannes <hannes@ .org>2.0.0BSD-2-ClauseUsed by 10 other packages06 Feb 2025
-
Transport Layer Security purely in OCaml, MirageOS layerDavid Kaloper <david@numm.org> Hannes <hannes@ .org>2.0.0BSD-2-ClauseUsed by 10 other packages06 Feb 2025
-
Tunnel -- a TLS reverse proxyHannes <hannes@ .org>0.2.0BSD-2-ClauseUsed by 0 other packages08 Apr 2018
-
Universal Second Factor (U2F) implementation in OCamlReynir Björnsson <reynir@reynir.dk> Hannes <hannes@ .org>0.1.2BSD-2-ClauseUsed by 0 other packages19 Nov 2021
-
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