Robur is a cooperative that develops applications and unikernels in OCaml. The aim is to use and promote MirageOS unikernels.

Robur maintains some services & unikernels such as:

• https://builds.robur.coop, a service that provides unikernel binaries which are reproducible of our unikernels and applications.
• dns-primary-git is a unikernel that can act as a primary DNS server, where the data is stored in a remote git repository.
• dns-secondary is a unikernel that acts as a secondary DNS server.
• qubes-firewall is a unikernel that can replace the net-firewall offered by default by QubesOS.
• tlstunnel a TLS termination proxy as an unikernel.
• MirageVPN is an OpenVPN-compatible implementation, a client for QubesOS exists and a server is available.
• caldav is a unikernel offering a CalDAV service (calendar).
• unipi is a unikernel for deploying a static website from a git repository.
• opam-mirror is a unikernel acting as opam-repository: pulling it from a git remote, providing a cache for source archives.
• pasteur is a secure pastebin (which encrypts client-side content).
• bob is a file transfer service (portable, free and unlimited).

In addition to these services and unikernels, Robur develops and maintains a set of libraries and software that can be used in a context other than that of unikernels, such as a simple OCaml application. Here is a non-exhaustive list of some of the projects we maintain:

• albatross: software for managing and deploying unikernels.
• orb: software for checking reproducibility in the construction of an artefact (unikernel or other software, based on opam).
• ocaml-tar: an OCaml implementation of Tar.
• mirage-crypto: a library of cryptographic primitives.
• ocaml-tls: an implementation of TLS in OCaml.
• miou: a simple scheduler for OCaml 5.
• http-lwt-client: a simple HTTP client for OCaml and LWT.
• mrmime: a library for parsing and encoding emails.
• ocaml-git: an OCaml implementation of Git.

This list shows just a few projects, but a whole range of libraries are maintained by Robur in cooperation with other players. Our cooperative is also involved in a number of joint projects, such as OPAM.

Our work essentially consists of improving the OCaml ecosystem and continuing to develop unikernels. If you appreciate our work and/or our way of doing things, you can make a donation here or directly via this IBAN from Änderwerk (you can receive a tax-deductible donation receipt, valid in Germany and the EU, see their donate page and our donate):

Account holder: Änderwerk gGmbH
Subject: robur
IBAN: DE46 4306 0967 1289 8604 00
BIC: GENODEM1GLS
Bank: GLS Gemeinschaftsbank, Christstrasse 9, 44789 Bochum, Germany