• Stars
    star
    6
  • Rank 2,461,562 (Top 50 %)
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created 14 days ago
  • Updated 14 days ago

Reviews

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

Repository Details

A web interface for albatross

More Repositories

1

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5
OCaml
136
star
2

miou

A simple scheduler for OCaml 5
OCaml
78
star
3

miragevpn

An opinionated implementation of the OpenVPN protocol
OCaml
69
star
4

unipi

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

caldav

Calendar server (CalDAV, RFC 4791) implementation in OCaml
OCaml
58
star
6

udns

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

unikernels

MirageOS unikernels
OCaml
49
star
8

tlstunnel

A TLS reverse proxy unikernel
OCaml
33
star
9

http-lwt-client

A HTTP client using HTTP/AF and lwt
OCaml
30
star
10

utcp

An implementation of the Transmission Control Protocol in OCaml
OCaml
29
star
11

httpcats

OCaml
26
star
12

u2f

U2F (FIDO Universal 2nd Factor) in OCaml
OCaml
26
star
13

catty

A unikernel as an IRC client
OCaml
24
star
14

ocaml-openpgp

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

icalendar

OCaml
22
star
16

happy-eyeballs

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

webauthn

Mirror of https://git.robur.coop/robur/webauthn/
OCaml
21
star
18

traceroute

MirageOS traceroute unikernel
OCaml
17
star
19

memtrace-mirage

Memtrace library for MirageOS
OCaml
16
star
20

dnsvizor

draft space for a DNSmasq-like MirageOS unikernel
OCaml
16
star
21

dns-primary-git

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

vm

vm -- Manage KVM/QEMU virtual machines
Shell
13
star
23

builder

Scheduling build jobs on regular intervals, collecting artifacts
OCaml
13
star
24

http-mirage-client

mirror of https://git.robur.coop/robur/http-mirage-client
OCaml
11
star
25

mirage-monitoring

mirror of https://git.robur.coop/robur/mirage-monitoring
OCaml
11
star
26

dns-letsencrypt-secondary

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

git-kv

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

builder-web

Mirror of https://git.robur.coop/robur/builder-web/
OCaml
10
star
29

lun

(▀̿Ĺ̯▀̿ ̿)
HTML
10
star
30

ohex

Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
OCaml
10
star
31

ocaml-pf

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

mirage-noconfig

Try to infer config.ml for a MirageOS unikernel by looking at unikernel.ml
OCaml
8
star
33

orb

check opam package reproductibility
OCaml
7
star
34

dns-secondary

A MirageOS unikernel acting as a secondary DNS server
OCaml
7
star
35

mirage-fs-mem

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

letsencrypt-unikernel

A unikernel that solves a let's encrypt (ACME) challenge
OCaml
6
star
37

ocaml-solo5-elftool

Mirror of https://git.robur.coop/robur/ocaml-solo5-elftool/
OCaml
4
star
38

no-cstruct

3
star
39

utime

C
2
star
40

mugenhwcfg-live

Debian Live system for running mugenhwcfg
Shell
1
star
41

mirage-noconfig-repo

Device interface & implementation descriptions for mirage-noconfig
1
star