Here are 56 public repositories matching this topic...

mirage / mirage

Star 1.5k

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

• Updated Aug 6, 2020
• OCaml

mirage / irmin

Star 1.3k

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

git database storage ocaml mirageos irmin

• Updated Aug 10, 2020
• OCaml

Solo5 / solo5

Star 614

A sandboxed execution environment for unikernels

freebsd openbsd hypervisor kvm mirageos unikernel

• Updated Jul 21, 2020
• C

mirage / mirage-tcpip

Star 261

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

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

• Updated Jun 19, 2020
• OCaml

mirleft / ocaml-tls

Star 240

TLS in pure OCaml

tls security ocaml mirageos

• Updated Aug 8, 2020
• OCaml

mirage / mirage-skeleton

Star 155

Examples of simple MirageOS apps

examples ocaml mirageos unikernel

• Updated Jun 18, 2020
• OCaml

mirage / qubes-mirage-firewall

Star 138

A Mirage firewall VM for QubesOS

firewall ocaml mirageos unikernel qubesos

• Updated Jul 4, 2020
• OCaml

Engil / Canopy

Star 92

A git-blogging unikernel written using MirageOS

ocaml blog-engine mirageos unikernel irmin mirage

• Updated Apr 29, 2020
• OCaml

hannesm / tlstunnel-lwt

Star 77

TLS tunnel -- an alternative to stud / stunnel

tls stunnel ocaml mirageos tls-tunnel

• Updated Jun 8, 2020
• OCaml

hannesm / albatross

Star 73

Albatross: orchestrate and manage MirageOS unikernels with Solo5

security deployment virtual-machine ocaml orchestration provisioning mirageos unikernel

• Updated Jul 29, 2020
• OCaml

mirage / ocaml-freestanding

Star 67

Freestanding OCaml runtime

ocaml mirageos

• Updated Jul 22, 2020
• C

mirage / ocaml-dns

Star 63

OCaml implementation of the DNS protocol

dns ocaml mirageos unikernel

• Updated Aug 7, 2020
• OCaml

mirage / awa-ssh

Star 61

Purely functional SSH library in ocaml.

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

• Updated Aug 6, 2020
• OCaml

infoslack / awesome-unikernels

Star 57

A list about Unikernels

cloud kernel mirageos unikernel rumprun unik unikernels

• Updated Jun 15, 2020

roburio / udns

Star 54

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

dns ocaml mirageos unikernel dns-server tsig robur

• Updated Jun 27, 2019
• OCaml

roburio / unipi

Star 38

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

git letsencrypt http ocaml mirageos unikernel http-server

• Updated Aug 2, 2020
• OCaml

roburio / unikernels

Star 31

MirageOS unikernels

dns letsencrypt mirageos unikernel

• Updated Jun 24, 2020
• OCaml

roburio / openvpn

Star 31

An opinionated implementation of the OpenVPN protocol

openvpn ocaml vpn mirageos unikernel openvpn-server openvpn-client

• Updated Aug 3, 2020
• OCaml

keyfender / keyfender

Star 30

Secure HSM implementation based on MirageOS

ocaml mirageos unikernel hsm private-key

• Updated Nov 5, 2018
• OCaml

mirleft / ocaml-x509

Star 29

X509 (RFC5280) handling in OCaml

ocaml x509 pki mirageos pkcs rfc5280

• Updated Aug 6, 2020
• OCaml

mirage / mirage-crypto

Star 29

Cryptographic primitives for MirageOS

cryptography aes ocaml rsa sha2 mirageos rng dsa dh fortuna

• Updated Jul 27, 2020
• OCaml

mirage / prometheus

Star 25

OCaml library for reporting metrics to a Prometheus server

metrics ocaml mirageos

• Updated Mar 3, 2020
• OCaml

mirage / bloomf

Star 24

Bloomf - Efficient Bloom filters for OCaml

ocaml bloom-filter mirageos

• Updated Jul 23, 2020
• OCaml

smorimoto / rekernel

Star 24

A minimal setup for writing Unikernels in ReasonML

ocaml mirageos unikernel reasonml reason

• Updated Apr 10, 2020
• Makefile

cfcs / mirage-examples

Star 23

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

ocaml mirageos

• Updated Nov 7, 2017
• OCaml

cfcs / mirage-framebuffer

Star 15

Experimental portable bitmap framebuffer graphics for MirageOS

graphics ocaml mirageos

• Updated Jul 14, 2020
• OCaml

cfcs / eye-of-mirage

Star 15

WiP image viewer using MirageOS

ocaml mirageos qubes

• Updated Aug 4, 2019
• OCaml

mirage / ocaml-pcap

Star 15

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

pcap ocaml mirageos

• Updated Jan 22, 2020
• OCaml

mirage / mirage-solo5

Star 13

Solo5 core platform libraries for MirageOS

ocaml mirageos mirage-platform solo5

• Updated Jun 11, 2020
• C

musha68k / chill-netcat

Star 13

UDP-only netcat implementation with OCaml / MirageOS

networking example udp ocaml netcat mirageos

• Updated Mar 21, 2017
• OCaml

Load more…