47 search results for "author:"hannes@mehnert.org""
-
Albatross - orchestrate and manage MirageOS unikernels with Solo52.4.1ISCUsed by 0 other packages12 Feb 2025
-
Address Resolution Protocol purely in OCaml4.0.0ISCUsed by 3 other packages06 Feb 2025
-
awa
No documentation
SSH implementation in OCaml0.5.2ISCUsed by 3 other packages29 May 2025 -
awa-mirage
No documentation
SSH implementation in OCaml0.5.2ISCUsed by 3 other packages29 May 2025 -
ca-certs
No documentation
Detect root CA certificates from the operating system1.0.1ISCUsed by 13 other packages17 Apr 2025 -
ca-certs-nss
No documentation
3.113.1ISCUsed by 9 other packages03 Jul 2025 -
Establishing trust in community repositories0.11.1BSD-2-ClauseUsed by 1 other packages15 Mar 2020
-
Establishing trust in community repositories: crypto provided via mirage-crypto0.11.1BSD-2-ClauseUsed by 0 other packages15 Mar 2020
-
Virtual package relying on Xen headers1GPL-2.0-only; LGPL-3.0-onlyUsed by 2 other packages22 Oct 2020
-
dns
No documentation
An opinionated Domain Name System (DNS) library10.1.0BSD-2-ClauseUsed by 15 other packages24 May 2025 -
dns-certify
No documentation
MirageOS let's encrypt certificate retrieval10.1.0BSD-2-ClauseUsed by 1 other packages24 May 2025 -
dns-cli
No documentation
Unix command line utilities using uDNS10.1.0BSD-2-ClauseUsed by 0 other packages24 May 2025 -
dns-mirage
No documentation
An opinionated Domain Name System (DNS) library10.1.0BSD-2-ClauseUsed by 4 other packages24 May 2025 -
dns-resolver
No documentation
DNS resolver business logic10.1.0BSD-2-ClauseUsed by 2 other packages24 May 2025 -
dns-server
No documentation
DNS server, primary and secondary10.1.0BSD-2-ClauseUsed by 3 other packages24 May 2025 -
dns-stub
No documentation
DNS stub resolver10.1.0BSD-2-ClauseUsed by 0 other packages24 May 2025 -
dns-tsig
No documentation
TSIG support for DNS10.1.0BSD-2-ClauseUsed by 5 other packages24 May 2025 -
dnssec
No documentation
DNSSec support for OCaml-DNS10.1.0BSD-2-ClauseUsed by 2 other packages24 May 2025 -
RFC 1035 Internet domain names0.4.1ISCUsed by 32 other packages18 Feb 2025
-
Conversions to various time units0.2.1ISCUsed by 44 other packages11 Oct 2022
-
Heterogenous maps over a GADT0.3.0ISCUsed by 3 other packages21 Apr 2019
-
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)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 OCaml1.1.0BSD-2-clauseUsed by 3 other packages28 Feb 2025
-
ACME implementation in OCaml1.1.0BSD-2-clauseUsed by 0 other packages28 Feb 2025
-
DNS solver for ACME implementation in OCaml1.1.0BSD-2-clauseUsed by 1 other packages28 Feb 2025
-
ACME implementation in OCaml for MirageOS1.1.0BSD-2-clauseUsed by 0 other packages28 Feb 2025
-
Logs reporter to syslog (UDP/TCP/TLS)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
-
mirage-crypto
No documentation
Simple symmetric cryptography for the modern age2.0.1ISCUsed by 20 other packages15 May 2025 -
mirage-crypto-ec
No documentation
Elliptic Curve Cryptography with primitives taken from Fiat2.0.1MITUsed by 7 other packages15 May 2025 -
mirage-crypto-pk
No documentation
Simple public-key cryptography for the modern age2.0.1ISCUsed by 11 other packages15 May 2025 -
mirage-crypto-rng
No documentation
A cryptographically secure PRNG2.0.1ISCUsed by 52 other packages15 May 2025 -
Feed the entropy source in an Async-friendly way0.11.3ISCUsed by 1 other packages27 Feb 2024
-
A cryptographically secure PRNG1.2.0ISCUsed by 7 other packages02 Feb 2025
-
mirage-crypto-rng-mirage
No documentation
Entropy collection for a cryptographically secure PRNG2.0.1BSD-2-ClauseUsed by 3 other packages15 May 2025 -
Hexadecimal encoding and decoding0.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 OCaml1.0.0BSD-2-ClauseUsed by 0 other packages21 Oct 2024
-
patch
No documentation
Patch library purely in OCaml3.0.0ISCUsed by 2 other packages03 Jul 2025 -
Convert from random byte vectors (int -> string) to random native numbers0.2.0ISCUsed by 13 other packages06 Mar 2024
-
tls
No documentation
Transport Layer Security purely in OCaml2.0.1BSD-2-ClauseUsed by 25 other packages15 Apr 2025 -
tls-async
No documentation
Transport Layer Security purely in OCaml, Async layer2.0.1BSD-2-ClauseUsed by 0 other packages15 Apr 2025 -
tls-lwt
No documentation
Transport Layer Security purely in OCaml, Lwt layer2.0.1BSD-2-ClauseUsed by 11 other packages15 Apr 2025 -
tls-mirage
No documentation
Transport Layer Security purely in OCaml, MirageOS layer2.0.1BSD-2-ClauseUsed by 11 other packages15 Apr 2025 -
WebAuthn - authenticating users to services using public key cryptography0.2.0BSD-2-ClauseUsed by 0 other packages14 Sep 2024
-
x509
No documentation
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml1.0.6BSD-2-ClauseUsed by 34 other packages17 Apr 2025