robur-coop

The robur collective

Funding Links: https://github.com/sponsors/robur-coop

Name: robur
Kind: organization
Followers: 55
Following: 0
Total stars: 1255
Repositories count: 69
Created at: 2022-11-15T12:19:09.995Z
Updated at: 2025-03-28T20:34:32.623Z
Last synced at: 2025-03-28T20:34:32.623Z

GitHub Sponsors Profile

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