66 open source projects by mirage

A lightweight and colourful test framework

Examples of simple MirageOS apps

A Mirage firewall VM for QubesOS

Website infrastructure and content for mirage.io

MirageOS is a library operating system that constructs unikernels

Built-in Snapshotting - backup and restore Storage Agnostic - you can use Irmin on top of your own storage layer Custom Datatypes - (de)serialization for custom data types, derivable via ppx_irmin Highly Portable - runs anywhere from Linux to web browsers and Xen unikernels Git Compatibility - irmin-git uses an on-disk format that can be inspected and modified using Git Dynamic Behavior - allows the users to define custom merge functions, use in-memory transactions (to keep track of reads as well as writes) and to define event-driven workflows using a notification mechanism

GitHub APIv3 OCaml bindings

Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

Purely functional SSH library in ocaml.

Freestanding OCaml runtime

Dereference URIs into communication channels for Async or Lwt

Simple hash algorithms in OCaml

Cap'n Proto RPC implementation

A DSL to invoke otherworldly functors

Build an SDcard image for Xen/ARM, for a Cubieboard

Constant time equal function to avoid timing attacks in OCaml

Cryptographic primitives for MirageOS

Synonym of angkor

Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm

An OCaml library for HTTP clients and servers using Lwt or Async

Pure OCaml Git format and protocol

A DNS server that automatically starts unikernels on demand

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

Pure OCaml implementation of Zlib.

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

Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git

Pure OCaml library to read and write tar files

What do you mean?

These are the MirageOS slide decks, written as a self-hosting unikernel

Unofficial mirror of xenbits.xen.org/xen.git

An eDSL for MirageOS apps

library for network address translation intended for use with mirage unikernels

Light library to deal with RPCs in OCaml

Lazy prefix trees in OCaml

RFC3986 URI parsing library for OCaml

Agnostic benchmark in OCaml (proof-of-concept)

Detect root CA certificates from the operating system

RPC client/server for Irmin

Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

Fast implementation of queue in OCaml

Object Relational Mapper extension

Solo5 core platform libraries for MirageOS

OCaml implementation of the DNS protocol

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Base64 encoding and decoding in OCaml

Mergeable queues

Infrastructure to collect metrics from OCaml applications.

Pure OCaml implementation of the "vchan" shared-memory communication protocol

A platform-agnostic multi-level index