57 search results for "author:"Hannes Mehnert <hannes@mehnert.org>""
Showing 1 - 50
-
Albatross - orchestrate and manage MirageOS unikernels with Solo5Hannes <hannes@ .org>2.0.0ISCUsed by 0 other packages15 May 2023
-
Address Resolution Protocol purely in OCamlHannes <hannes@ .org>3.1.1ISCUsed by 7 other packages09 May 2024
-
Address Resolution Protocol for MirageOSHannes <hannes@ .org>2.2.1ISCUsed by 2 other packages18 Dec 2019
-
SSH implementation in OCaml0.3.1ISCUsed by 3 other packages09 Feb 2024
-
SSH implementation in OCaml0.3.1ISCUsed by 2 other packages09 Feb 2024
-
Detect root CA certificates from the operating systemEtienne Millon <me@emillon.org>, Hannes <hannes@ .org>1.0.0ISCUsed by 10 other packages06 Aug 2024
-
3.101-1ISCUsed by 6 other packages25 Jul 2024
-
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
-
Pipeline language for keeping things up-to-date0.6.6Apache-2.0Used by 11 other packages07 Feb 2024
-
OCurrent Docker plugin0.6.6Apache-2.0Used by 2 other packages07 Feb 2024
-
Example pipelines for OCurrent0.6.6Apache-2.0Used by 0 other packages07 Feb 2024
-
Git plugin for OCurrent0.6.6Apache-2.0Used by 6 other packages07 Feb 2024
-
GitHub plugin for OCurrent0.6.6Apache-2.0Used by 2 other packages07 Feb 2024
-
Cap'n Proto RPC plugin for OCurrent0.6.6Apache-2.0Used by 1 other packages07 Feb 2024
-
Slack plugin for OCurrent0.6.6Apache-2.0Used by 0 other packages07 Feb 2024
-
Test web UI for OCurrent0.6.6Apache-2.0Used by 6 other packages07 Feb 2024
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>8.0.0BSD-2-ClauseUsed by 16 other packages30 May 2024
-
MirageOS let's encrypt certificate retrievalHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 1 other packages30 May 2024
-
Unix command line utilities using uDNSHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 0 other packages30 May 2024
-
An opinionated Domain Name System (DNS) libraryHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 4 other packages30 May 2024
-
DNS resolver business logicHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 1 other packages30 May 2024
-
DNS server, primary and secondaryHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 3 other packages30 May 2024
-
DNS stub resolverHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 0 other packages30 May 2024
-
TSIG support for DNSHannes <hannes@ .org>8.0.0BSD-2-ClauseUsed by 6 other packages30 May 2024
-
DNSSec support for OCaml-DNSHannes <hannes@ .org> Reynir Björnsson <reynir@reynir.dk>8.0.0BSD-2-ClauseUsed by 2 other packages30 May 2024
-
RFC 1035 Internet domain namesHannes <hannes@ .org>0.4.0ISCUsed by 30 other packages07 Jan 2022
-
Conversions to various time unitsHannes <hannes@ .org>0.2.1ISCUsed by 48 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 0 other packages30 Jun 2024
-
ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>0.5.1BSD-2-clauseUsed by 4 other packages14 Mar 2023
-
ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>0.5.1BSD-2-clauseUsed by 0 other packages14 Mar 2023
-
DNS solver for ACME implementation in OCamlMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>0.5.1BSD-2-clauseUsed by 1 other packages14 Mar 2023
-
ACME implementation in OCaml for MirageOSMichele Mu <maker@tumbolandia.net>, Hannes <hannes@ .org>0.5.1BSD-2-clauseUsed by 0 other packages14 Mar 2023
-
Logs reporter to syslog (UDP/TCP/TLS)Hannes <hannes@ .org>0.4.0ISCUsed by 0 other packages04 Jun 2023
-
Streaming client for Memprof using MirageOS APIJane Street Group, LLC <opensource@janestreet.com> Hannes <hannes@ .org>0.2.1.2.2MITUsed by 1 other packages22 May 2022
-
0.1.0ISCUsed by 4 other packages29 Oct 2018
-
Simple symmetric cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0ISCUsed by 6 other packages29 Jun 2024
-
Elliptic Curve Cryptography with primitives taken from Fiat1.0.0MITUsed by 1 other packages29 Jun 2024
-
Simple public-key cryptography for the modern ageDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0ISCUsed by 1 other packages29 Jun 2024
-
A cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0ISCUsed by 9 other packages29 Jun 2024
-
Feed the entropy source in an Async-friendly wayDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0ISCUsed by 0 other packages29 Jun 2024
-
A cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0ISCUsed by 0 other packages29 Jun 2024
-
Entropy collection for a cryptographically secure PRNGDavid Kaloper <dk505@cam.ac.uk> Hannes <hannes@ .org>1.0.0BSD-2-ClauseUsed by 0 other packages29 Jun 2024
-
Hexadecimal encoding and decodingHannes <hannes@ .org>0.2.0BSD-2-ClauseUsed by 15 other packages18 Mar 2024
-
Off the record implementation purely in OCamlHannes <hannes@ .org>0.3.10BSD-2-ClauseUsed by 0 other packages26 Oct 2021
-
Patch library purely in OCamlHannes <hannes@ .org>2.0.0ISCUsed by 0 other packages04 Apr 2024
-
Convert from random byte vectors (int -> string) to random native numbersHannes <hannes@ .org>0.2.0ISCUsed by 3 other packages06 Mar 2024
-
Transport Layer Security purely in OCamlDavid Kaloper <david@numm.org> Hannes <hannes@ .org>0.17.5BSD-2-ClauseUsed by 54 other packages15 May 2024