Thomas Gazagnaire's repositories
cmdliner-stdlib
A collection of Cmdliner terms to control OCaml runtime parameters
dns-letsencrypt-secondary
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
dns-primary-git
A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository
dns-secondary
A MirageOS unikernel acting as a secondary DNS server
dream
Tidy, feature-complete Web framework
eeww
Experimental effects-based wonderful webserver
hdf5-ocaml
OCaml wrapper for HDF5
mirage-logs
A Mirage reporter for the Logs library
mirage-skeleton
Build skeleton and examples of simple Mirage apps
mirage-www
Website infrastructure for openmirage.org
ocaml.org
The official OCaml website.
opam-monorepo
Duniverse is the spice of OCaml build life
opam-overlays
An opam repository with packages in the Mirage universe that have been to be ported to dune
retreat.mirage.io
Microsite for the MirageOS hack retreats
tlstunnel
A TLS reverse proxy unikernel
unipi
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel