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/jackline
minimalistic secure XMPP client in OCaml
hannesm/ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
hannesm/conex
establish trust in community repositories, cryptographically signed by library authors
hannesm/patch
line based patch, input is a unified diff
hannesm/xmpp
OCaml based XMPP implementation
hannesm/archive-opam
Make opam-repority-archive a smooth sail
hannesm/ocaml-freestanding
Freestanding OCaml runtime
hannesm/ocaml-x509
X509 (RFC5280) handling in OCaml
hannesm/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
hannesm/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
hannesm/bot
A (Coq Development Team) bot written in OCaml
hannesm/charrua
A DHCP server library in OCaml
hannesm/cmdliner-stdlib
A collection of Cmdliner terms to control OCaml runtime parameters
hannesm/mirage
Cloud programming platform
hannesm/mirage-ci
Ocurrent-based CI for MirageOS
hannesm/mirage-crypto
Cryptographic primitives for MirageOS
hannesm/mirage-kv
MirageOS signature for key/value stores
hannesm/mirage-net
Network devices for MirageOS
hannesm/mirage-skeleton
Build skeleton and examples of simple Mirage apps
hannesm/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
hannesm/mirage-www
Website infrastructure and content for mirage.io
hannesm/mrmime
What do you mean?
hannesm/ocaml-dkim
DKIM support on e-mail
hannesm/ocaml-dns
OCaml implementation of the DNS protocol
hannesm/ocaml.org
The official OCaml website.
hannesm/ocurrent-deployer
A pipeline that deploys unikernels and other services
hannesm/opam-source-archives
mirror of precious opam repository packages whose source websites have disappeared
hannesm/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
hannesm/simple-fw
hannesm/solo5
The Solo5 unikernel