robur-coop/miou

Stars
78
Rank 398,723 (Top 9 %)
Language
OCaml
License
MIT License
Created 10 months ago
Updated about 1 month ago

robur-coop/miou

robur-coop

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A simple scheduler for OCaml 5

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

miragevpn

An opinionated implementation of the OpenVPN protocol

unipi

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

caldav

Calendar server (CalDAV, RFC 4791) implementation in OCaml

udns

[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

unikernels

MirageOS unikernels

tlstunnel

A TLS reverse proxy unikernel

http-lwt-client

A HTTP client using HTTP/AF and lwt

utcp

An implementation of the Transmission Control Protocol in OCaml

httpcats

u2f

U2F (FIDO Universal 2nd Factor) in OCaml

catty

A unikernel as an IRC client

ocaml-openpgp

WiP: RFC 4880 (OpenPGP) library and utilities in OCaml

icalendar

happy-eyeballs

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

webauthn

Mirror of https://git.robur.coop/robur/webauthn/

traceroute

MirageOS traceroute unikernel

memtrace-mirage

Memtrace library for MirageOS

dnsvizor

draft space for a DNSmasq-like MirageOS unikernel

dns-primary-git

A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository

vm

vm -- Manage KVM/QEMU virtual machines

builder

Scheduling build jobs on regular intervals, collecting artifacts

http-mirage-client

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

mirage-monitoring

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

dns-letsencrypt-secondary

A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt

git-kv

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

builder-web

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

lun

(▀̿Ĺ̯▀̿ ̿)

ohex

Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex

ocaml-pf

OCaml library for parsing the pf firewall rule format as used in FreeBSD 11

mirage-noconfig

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

orb

check opam package reproductibility

dns-secondary

A MirageOS unikernel acting as a secondary DNS server

mirage-fs-mem

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

letsencrypt-unikernel

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

mollymawk

A web interface for albatross

ocaml-solo5-elftool

Mirror of https://git.robur.coop/robur/ocaml-solo5-elftool/

no-cstruct

utime

mugenhwcfg-live

Debian Live system for running mugenhwcfg

mirage-noconfig-repo

Device interface & implementation descriptions for mirage-noconfig