Pinned Repositories
gmap
heterogenous Map over a GADT
jackline
minimalistic secure XMPP client in OCaml
ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
tlstunnel-lwt
TLS tunnel -- an alternative to stud / stunnel
mirage
MirageOS is a library operating system that constructs unikernels
ocaml-tls
TLS in pure OCaml
netsem
Network Semantics
albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
miragevpn
An opinionated implementation of the OpenVPN protocol
mollymawk
A web interface for albatross
hannesm's Repositories
hannesm/ocaml-hkdf
HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
hannesm/logs-syslog
Emit Logs via syslog
hannesm/mirage-time-defunctorised
hannesm/dune-variant
hannesm/opam-check-checksum
hannesm/arp
Purely functional ARP in OCaml
hannesm/awa-ssh
Purely functional SSH library in ocaml.
hannesm/ca-certs
Detect root CA certificates from the operating system
hannesm/eqaf
Constant time equal function to avoid timing attacks in OCaml
hannesm/ethernet
Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml
hannesm/mimic
A dynamic way to instantiate an OCaml flow
hannesm/mirage-block-xen
Client and server implementations of the xen paravirtualised block driver protocol
hannesm/mirage-clock
Portable clock implementation for Unix and Xen
hannesm/mirage-net-xen
Xen Netfront ethernet device driver for Mirage
hannesm/mirage-qubes
Mirage support for writing QubesOS AppVM unikernels
hannesm/mirage-solo5
Mirage platform bindings for Solo5
hannesm/mirage-time
Time signatures for MirageOS
hannesm/mirage-vnetif
Virtual network interface and software bridge for Mirage
hannesm/mirage-xen
Xen core platform libraries for MirageOS
hannesm/ocaml-asn1-combinators
Embed typed ASN.1 grammars in OCaml
hannesm/ocaml-caqti
Cooperative-threaded access to relational data
hannesm/ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
hannesm/ocaml-git
Pure OCaml Git format and protocol
hannesm/ocaml-gnt
OCaml bindings to the Xen grant tables libraries
hannesm/ocaml-ipaddr
A library for manipulation of IP (and MAC) address representations
hannesm/ocaml-letsencrypt
hannesm/ocaml-tar
Pure OCaml library to read and write tar files
hannesm/ocaml-tls
TLS in pure OCaml
hannesm/ocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocol
hannesm/paf-le-chien
Port of HTTP/AF with Mirage and Tuyau (Proof Of Concept)