80 search results for "author:"Hannes Mehnert""
-
albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5
-
arp
Address Resolution Protocol purely in OCaml
-
arp-mirage
Address Resolution Protocol for MirageOS
-
awa
SSH implementation in OCaml0.2.0ISCUsed by 4 other packagesLast published 22 Mar 2023
-
awa-mirage
SSH implementation in OCaml
-
ca-certs
Detect root CA certificates from the operating system0.2.3ISCUsed by 8 other packagesLast published 02 Sep 2022
-
ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
-
caldav
A CalDAV server0.2.1ISCUsed by 0 other packagesLast published 17 Dec 2022
-
conex
Establishing trust in community repositories0.11.1BSD-2-ClauseUsed by 1 other packagesLast published 15 Mar 2020
-
conex-mirage-crypto
Establishing trust in community repositories: crypto provided via mirage-crypto0.11.1BSD-2-ClauseUsed by 0 other packagesLast published 15 Mar 2020
-
conex-nocrypto
Establishing trust in community repositories: crypto provided via nocrypto0.11.0BSD-2-ClauseUsed by 0 other packagesLast published 22 Dec 2019
-
crunch
Convert a filesystem into a static OCaml module3.3.1ISCUsed by 22 other packagesLast published 05 Aug 2022
-
dns
An opinionated Domain Name System (DNS) library7.0.1BSD-2-ClauseUsed by 14 other packagesLast published 28 Feb 2023
-
dns-certify
MirageOS let's encrypt certificate retrieval7.0.1BSD-2-ClauseUsed by 1 other packagesLast published 28 Feb 2023
-
dns-cli
Unix command line utilities using uDNS7.0.1BSD-2-ClauseUsed by 0 other packagesLast published 28 Feb 2023
-
dns-mirage
An opinionated Domain Name System (DNS) library7.0.1BSD-2-ClauseUsed by 4 other packagesLast published 28 Feb 2023
-
dns-resolver
DNS resolver business logic7.0.1BSD-2-ClauseUsed by 1 other packagesLast published 28 Feb 2023
-
dns-server
DNS server, primary and secondary7.0.1BSD-2-ClauseUsed by 3 other packagesLast published 28 Feb 2023
-
dns-stub
DNS stub resolver7.0.1BSD-2-ClauseUsed by 0 other packagesLast published 28 Feb 2023
-
dns-tsig
TSIG support for DNS7.0.1BSD-2-ClauseUsed by 6 other packagesLast published 28 Feb 2023
-
dnssec
DNSSec support for OCaml-DNS7.0.1BSD-2-ClauseUsed by 2 other packagesLast published 28 Feb 2023
-
domain-name
RFC 1035 Internet domain names
-
duration
Conversions to various time units
-
ethernet
OCaml Ethernet (IEEE 802.3) layer, used in MirageOSAnil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy3.2.0ISCUsed by 10 other packagesLast published 13 Mar 2023
-
gmap
Heterogenous maps over a GADT
-
hkdf
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)1.0.4BSD-2-ClauseUsed by 1 other packagesLast published 12 Mar 2020
-
icalendar
A library to parse and print the iCalendar (RFC 5545) format0.1.7ISCUsed by 2 other packagesLast published 23 Oct 2022
-
letsencrypt
ACME implementation in OCaml0.5.1BSD-2-clauseUsed by 4 other packagesLast published 14 Mar 2023
-
letsencrypt-app
ACME implementation in OCaml0.5.1BSD-2-clauseUsed by 0 other packagesLast published 14 Mar 2023
-
letsencrypt-dns
DNS solver for ACME implementation in OCaml0.5.1BSD-2-clauseUsed by 1 other packagesLast published 14 Mar 2023
-
letsencrypt-mirage
ACME implementation in OCaml for MirageOS0.5.1BSD-2-clauseUsed by 0 other packagesLast published 14 Mar 2023
-
logs-syslog
Logs reporter to syslog (UDP/TCP/TLS)
-
memtrace-mirage
Streaming client for Memprof using MirageOS API0.2.1.2.2MITUsed by 1 other packagesLast published 22 May 2022
-
metrics-influx
Influx reporter for the Metrics library
-
metrics-mirage
Mirage backend for the Metrics library
-
metrics-rusage
Resource usage (getrusage) sources for the Metrics library
-
mirage
The MirageOS library operating systemThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.3.5ISCUsed by 4 other packagesLast published 21 Mar 2023
-
mirage-bootvar-unix
Unix implementation of MirageOS Bootvar interface
-
mirage-crypto
Simple symmetric cryptography for the modern age0.11.1ISCUsed by 43 other packagesLast published 14 Mar 2023
-
mirage-crypto-ec
Elliptic Curve Cryptography with primitives taken from FiatHannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>0.11.1MITUsed by 10 other packagesLast published 14 Mar 2023
-
mirage-crypto-entropy
Entropy source for MirageOS unikernels0.6.2BSD-2-ClauseUsed by 0 other packagesLast published 19 Mar 2020
-
mirage-crypto-pk
Simple public-key cryptography for the modern age0.11.1ISCUsed by 20 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng
A cryptographically secure PRNG0.11.1ISCUsed by 43 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-async
Feed the entropy source in an Async-friendly way0.11.1ISCUsed by 1 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-lwt
A cryptographically secure PRNG0.11.1ISCUsed by 6 other packagesLast published 14 Mar 2023
-
mirage-crypto-rng-mirage
Entropy collection for a cryptographically secure PRNG0.11.1BSD-2-ClauseUsed by 0 other packagesLast published 14 Mar 2023
-
mirage-device
Abstract devices for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier2.0.0ISCUsed by 8 other packagesLast published 21 Oct 2019
-
mirage-entropy
Entropy source for MirageOS unikernels0.5.1BSD-2-ClauseUsed by 3 other packagesLast published 26 Feb 2020
-
mirage-entropy-unix
MirageOS entropy device0.2.0Used by 0 other packagesLast published 10 Mar 2015
-
mirage-entropy-xen
MirageOS entropy device0.3.0BSD-2-ClauseUsed by 1 other packagesLast published 10 Jun 2015
-
mirage-fs-mem
In-memory file system for for MirageOS0.1.0ISCUsed by 0 other packagesLast published 12 Nov 2018
-
mirage-fs-unix
Passthrough filesystem for MirageOS on Unix1.7.0Used by 4 other packagesLast published 31 Oct 2019
-
mirage-kv
MirageOS signatures for key/value devices6.1.0ISCUsed by 12 other packagesLast published 01 Feb 2023
-
mirage-kv-lwt
MirageOS signatures for key/value devices2.0.0ISCUsed by 11 other packagesLast published 25 Feb 2019
-
mirage-kv-mem
In-memory key value store for MirageOS3.2.1ISCUsed by 2 other packagesLast published 14 Dec 2022
-
mirage-kv-unix
Key-value store for MirageOS backed by Unix filesystem2.1.0Used by 0 other packagesLast published 31 Oct 2019
-
mirage-net
Network signatures for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.0.0ISCUsed by 13 other packagesLast published 19 Nov 2021
-
mirage-net-fd
MirageOS network interfaces using raw sockets0.2.1ISCUsed by 0 other packagesLast published 19 Jun 2017
-
mirage-net-lwt
Network signatures for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier2.0.0ISCUsed by 11 other packagesLast published 24 Feb 2019
-
mirage-net-unix
Unix implementation of the Mirage_net_lwt interface3.0.0ISCUsed by 0 other packagesLast published 16 Mar 2022
-
mirage-random
Random-related devices for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 23 other packagesLast published 15 Nov 2021
-
mirage-random-stdlib
Random device implementation using the OCaml stdlib
-
mirage-random-test
Stub random device implementation for testing
-
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernelThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier4.3.5ISCUsed by 10 other packagesLast published 21 Mar 2023
-
mirage-time
Time operations for MirageOSThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 37 other packagesLast published 15 Nov 2021
-
mirage-time-lwt
Time operations for MirageOS with LwtThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier1.3.0ISCUsed by 20 other packagesLast published 18 Jun 2019
-
mirage-time-unix
Time operations for MirageOS on UnixThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.0.0ISCUsed by 13 other packagesLast published 15 Nov 2021
-
mirage-types
Module type definitions for MirageOS applicationsThomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier3.10.8ISCUsed by 5 other packagesLast published 22 Dec 2021
-
otr
Off the record implementation purely in OCaml0.3.10BSD-2-ClauseUsed by 0 other packagesLast published 26 Oct 2021
-
patch
Patch library purely in OCaml
-
randomconv
Convert from random byte vectors (Cstruct.t) to random native numbers
-
tcpip
OCaml TCP/IP networking stack, used in MirageOSAnil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire Vincent Bernardoff Magnus Skjegstad Mindy Preston Thomas Leonard David Scott Gabor Pali Hannes Mehnert Haris Rotsos Kia Luke Dunstan Pablo Polvorin Tim Cuthbertson lnmx pqwy8.0.0ISCUsed by 44 other packagesLast published 19 Mar 2023
-
tls
Transport Layer Security purely in OCaml0.17.0BSD-2-ClauseUsed by 46 other packagesLast published 02 Mar 2023
-
tls-async
Transport Layer Security purely in OCaml, Async layerDavid Kaloper <david@numm.org> Hannes Mehnert <hannes@mehnert.org> Eric Ebinger <github@eric.theebingers.com> Calascibetta Romain <romain.calascibetta@gmail.com>0.17.0BSD-2-ClauseUsed by 0 other packagesLast published 02 Mar 2023
-
tls-lwt
Transport Layer Security purely in OCaml, Lwt layer0.17.0BSD-2-ClauseUsed by 9 other packagesLast published 02 Mar 2023
-
tls-mirage
Transport Layer Security purely in OCaml, MirageOS layer0.17.0BSD-2-ClauseUsed by 12 other packagesLast published 02 Mar 2023
-
tlstunnel
Tunnel -- a TLS reverse proxy0.2.0BSD-2-ClauseUsed by 0 other packagesLast published 08 Apr 2018
-
u2f
Universal Second Factor (U2F) implementation in OCaml0.1.2BSD-2-ClauseUsed by 0 other packagesLast published 19 Nov 2021
-
webauthn
WebAuthn - authenticating users to services using public key cryptography0.1.0BSD-2-ClauseUsed by 0 other packagesLast published 19 Nov 2021
-
x509
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml0.16.4BSD-2-ClauseUsed by 28 other packagesLast published 13 Feb 2023