robur-coop Goto Github PK

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

builder

Scheduling build jobs on regular intervals, collecting artifacts

builder-web

Mirror of https://git.robur.coop/robur/builder-web/

caldav

Calendar server (CalDAV, RFC 4791) implementation in OCaml

carton

catty

A unikernel as an IRC client

ccs-caldavtester

CalDAV/CardDAV Testing Framework used by CalendarServer

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

dnsvizor

draft space for a DNSmasq-like MirageOS unikernel

git-kv

KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)

happy-eyeballs

An implementation of happy eyeballs (RFC 8305) in OCaml with lwt

http-lwt-client

A HTTP client using HTTP/AF and lwt

http-mirage-client

mirror of https://git.robur.coop/robur/http-mirage-client

httpcats

icalendar

letsencrypt-unikernel

A unikernel that solves a let's encrypt (ACME) challenge

lun

(▀̿Ĺ̯▀̿ ̿)

memtrace-mirage

Memtrace library for MirageOS

miou

A simple scheduler for OCaml 5

mirage-fs-mem

An in-memory file system implementing the mirage-fs-lwt interface. Not persistent, be careful. :D

mirage-monitoring

mirror of https://git.robur.coop/robur/mirage-monitoring

mirage-noconfig

Try to infer config.ml for a MirageOS unikernel by looking at unikernel.ml

mirage-noconfig-repo

Device interface & implementation descriptions for mirage-noconfig

miragevpn

An opinionated implementation of the OpenVPN protocol

miragevpn-handbook

miragevpn-spec

The specification we developed while working on MirageVPN

modulectomy

Dissect OCaml compiled programs, and weight their content

mollymawk

A web interface for albatross