• Stars
    star
    1
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created 3 months ago
  • Updated 3 months ago

Reviews

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

Repository Details

Key deriving functions in OCaml

More Repositories

1

albatross

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

miou

A simple scheduler for OCaml 5
OCaml
85
star
3

miragevpn

An opinionated implementation of the OpenVPN protocol
OCaml
73
star
4

unipi

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

caldav

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

udns

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

unikernels

MirageOS unikernels
OCaml
50
star
8

tlstunnel

A TLS reverse proxy unikernel
OCaml
34
star
9

httpcats

OCaml
30
star
10

http-lwt-client

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

utcp

An implementation of the Transmission Control Protocol in OCaml
OCaml
29
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

dnsvizor

draft space for a DNSmasq-like MirageOS unikernel
OCaml
17
star
20

memtrace-mirage

Memtrace library for MirageOS
OCaml
16
star
21

mollymawk

A web interface for albatross
OCaml
15
star
22

dns-primary-git

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

notty-miou

OCaml
13
star
24

builder

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

vm

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

git-kv

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

http-mirage-client

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

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
29

mirage-monitoring

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

builder-web

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

lun

(β–€ΜΏΔΉΜ―β–€ΜΏ ΜΏ)
HTML
10
star
32

ohex

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

ocaml-pf

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

orb

check opam package reproductibility
OCaml
8
star
35

mirage-noconfig

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

dns-secondary

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

mirage-fs-mem

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

qubes-miragevpn

OCaml
7
star
39

letsencrypt-unikernel

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

miragevpn-handbook

5
star
41

ocaml-solo5-elftool

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

bancos

A simple KV-store
C
3
star
43

miragevpn-spec

The specification we developed while working on MirageVPN
3
star
44

carton

OCaml
3
star
45

no-cstruct

3
star
46

utime

C
2
star
47

mugenhwcfg-live

Debian Live system for running mugenhwcfg
Shell
1
star
48

ocaml-h1

OCaml
1
star
49

mirage-noconfig-repo

Device interface & implementation descriptions for mirage-noconfig
1
star
50

opam-graph

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