mirageos

mirage / mirage

1.3k

MirageOS is a library operating system that constructs unikernels

mirageos unikernel xen kvm ocaml opam linux

OCaml Updated Mar 8, 2019

mirage / irmin

985

Irmin is a distributed database that follows the same design principles as Git

ocaml git storage mirageos database irmin

OCaml Updated Mar 22, 2019

Solo5 / solo5

468

A sandboxed execution environment for unikernels

unikernel hypervisor mirageos kvm freebsd openbsd

C Updated Mar 22, 2019 1 issue needs help

mirage / mirage-tcpip

228

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

networking-stack ocaml unikernel icmp udp tcp arp mirageos ethernet tcpip ipv4

OCaml Updated Mar 20, 2019

mirleft / ocaml-tls

217

TLS in pure OCaml

tls ocaml mirageos security

OCaml Updated Mar 2, 2019

mirage / mirage-skeleton

129

Examples of simple MirageOS apps

unikernel mirageos ocaml examples

OCaml Updated Mar 7, 2019

mirage / qubes-mirage-firewall

103

A Mirage firewall VM for QubesOS

unikernel firewall ocaml mirageos qubesos

OCaml Updated Mar 22, 2019

Engil / Canopy

78

A git-blogging unikernel written using MirageOS

ocaml mirage mirageos irmin unikernel blog-engine

OCaml Updated Sep 25, 2018 1 issue needs help

hannesm / tlstunnel

66

TLS tunnel -- an alternative to stud / stunnel

stunnel tls-tunnel tls ocaml mirageos

OCaml Updated Apr 8, 2018

haesbaert / awa-ssh

56

Purely functional SSH library in ocaml.

ssh ocaml pure cryptography security ssh-library awa-ssh mirage mirageos

OCaml Updated Jan 13, 2018

roburio / udns

49

µDNS - an opinionated Domain Name System (DNS) library

ocaml dns dns-server mirageos unikernel tsig robur

OCaml Updated Mar 21, 2019

hannesm / albatross

45

Albatross: orchestrate and manage MirageOS unikernels with Solo5

mirageos unikernel virtual-machine ocaml security provisioning deployment orchestration

OCaml Updated Feb 6, 2019

infoslack / awesome-unikernels

35

A list about Unikernels

unikernel mirageos rumprun unik unikernels kernel cloud

Updated Mar 18, 2019

keyfender / keyfender

29

Secure HSM implementation based on MirageOS

mirageos ocaml unikernel hsm private-key

OCaml Updated Nov 5, 2018

cfcs / mirage-examples

23

Work-in-Progress collection of examples of using MirageOS from OCaml

ocaml mirageos

OCaml Updated Nov 7, 2017

mirage / prometheus

14

OCaml library for reporting metrics to a Prometheus server

metrics mirageos ocaml

OCaml Updated Dec 20, 2017

musha68k / chill-netcat

13

UDP-only netcat implementation with OCaml / MirageOS

mirageos ocaml example udp networking netcat

OCaml Updated Mar 21, 2017

roburio / unikernels

12

MirageOS unikernels

mirageos unikernel dns letsencrypt

OCaml Updated Mar 21, 2019

mirage / arp

12

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

arp ocaml mirageos address-resolution-protocol network unikernel

OCaml Updated Feb 24, 2019

hannesm / telnet

11

telnet protocol in OCaml

telnet ocaml mirageos

OCaml Updated Nov 15, 2016

mirage / ocaml-pcap

11

OCaml code for generating and analysing pcap (packet capture) files

ocaml pcap mirageos

OCaml Updated Nov 15, 2018

cfcs / mirage-framebuffer

10

Experimental portable bitmap framebuffer graphics for MirageOS

mirageos graphics ocaml

OCaml Updated Mar 6, 2019 1 issue needs help

mirage / mirage-solo5

9

Solo5 core platform libraries for MirageOS

solo5 mirageos ocaml mirage-platform

C Updated Mar 18, 2019

mirage / mirage-xen

9

Xen core platform libraries for MirageOS

xen mirageos mirage-platform ocaml

OCaml Updated Mar 23, 2019

ahf / ircd-scylla

9

MirageOS IRC daemon.

mirageos ocaml unikernel irc ircd

OCaml Updated Feb 16, 2018

mirage / mirage-unix

8

Unix core platform libraries for MirageOS

mirageos unix mirage-platform ocaml

OCaml Updated Jan 2, 2019

cfcs / eye-of-mirage

8

WiP image viewer using MirageOS

qubes mirageos ocaml

OCaml Updated Oct 1, 2018

mirage / mirage-propaganda

8

Propaganda

mirageos

Updated Mar 30, 2018

gpetiot / mirage-shell

6

Basic shell built on top of Mirage

shell mirageos unikernel ocaml

OCaml Updated Sep 19, 2018

hannesm / ns.nqsb.io

6

NQSB.IO name server

mirageos dns unikernel ocaml

OCaml Updated Mar 2, 2019

Load more…