robur-coop/letsencrypt-unikernel

Stars
6
Rank 2,539,965 (Top 51 %)
Language
OCaml
Created about 3 years ago
Updated about 3 years ago

robur-coop/letsencrypt-unikernel

robur-coop

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

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

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

miou

A simple scheduler for OCaml 5

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

httpcats

http-lwt-client

A HTTP client using HTTP/AF and lwt

utcp

An implementation of the Transmission Control Protocol in OCaml

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

dnsvizor

draft space for a DNSmasq-like MirageOS unikernel

memtrace-mirage

Memtrace library for MirageOS

mollymawk

A web interface for albatross

dns-primary-git

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

notty-miou

builder

Scheduling build jobs on regular intervals, collecting artifacts

vm

vm -- Manage KVM/QEMU virtual machines

git-kv

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

http-mirage-client

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

dns-letsencrypt-secondary

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

mirage-monitoring

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

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

orb

check opam package reproductibility

mirage-noconfig

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

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

qubes-miragevpn

miragevpn-handbook

ocaml-solo5-elftool

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

bancos

A simple KV-store

miragevpn-spec

The specification we developed while working on MirageVPN

carton

no-cstruct

utime

mugenhwcfg-live

Debian Live system for running mugenhwcfg

ocaml-h1

mirage-noconfig-repo

Device interface & implementation descriptions for mirage-noconfig

kdf

Key deriving functions in OCaml

opam-graph

Mirror of https://git.robur.coop/robur/opam-graph