Explore @mirage Open Source projects

MirageOS (@mirage)

mirage

Stars
10,933
Global Org. Rank 2,109 (Top 0.7 %)
Registered over 14 years ago
Most used languages

OCaml
88.3 %

C
5.3 %

HTML
2.1 %

Shell
2.1 %

Others 2.0 %

mirage

MirageOS is a library operating system that constructs unikernels

irmin

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

ocaml-cohttp

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

alcotest

A lightweight and colourful test framework

ocaml-git

Pure OCaml Git format and protocol

mirage-tcpip

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

jitsu

A DNS server that automatically starts unikernels on demand

mirage-skeleton

Examples of simple MirageOS apps

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

mirage-www

Website infrastructure and content for mirage.io

decompress

Pure OCaml implementation of Zlib.

ocaml-cow

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

ocaml-cstruct

Map OCaml arrays onto C-like structs

awa-ssh

Purely functional SSH library in ocaml.

ocaml-dns

OCaml implementation of the DNS protocol

ocaml-github

GitHub APIv3 OCaml bindings

ocaml-solo5

Freestanding OCaml runtime

capnp-rpc

Cap'n Proto RPC implementation

ocaml-uri

RFC3986 URI parsing library for OCaml

ocaml-rpc

Light library to deal with RPCs in OCaml

digestif

Simple hash algorithms in OCaml

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

mirage-platform

Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: 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.

mirage-crypto

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

xen

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

ocaml-crunch

Convert a filesystem into a static OCaml module

mini-os

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

functoria

A DSL to invoke otherworldly functors

ocaml-9p

An OCaml/Mirage-friendly implementation of the 9P protocol

mirage-qubes

Mirage support for writing QubesOS AppVM unikernels

xen-arm-builder

Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubieboard

charrua

A DHCP library in OCaml

orm

Object Relational Mapper extension

eqaf

Constant time equal function to avoid timing attacks in OCaml

ke

Fast implementation of queue in OCaml

ocaml-matrix

Implementation of a matrix server in OCaml for MirageOS

ocaml-tar

Pure OCaml library to read and write tar files

prometheus

OCaml library for reporting metrics to a Prometheus server

ocaml-vchan

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

conan

Like detective conan, find clue about the type of the file

metrics

Infrastructure to collect metrics from OCaml applications.

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

wodan

A Mirage filesystem library

ocaml-base64

Base64 encoding and decoding in OCaml

colombe

Implementation of SMTP protocols in OCaml

ocaml-ipaddr

A library for manipulation of IP (and MAC) address representations

mrmime

What do you mean?

ezjsonm

An easy interface on top of the Jsonm library.

index

A platform-agnostic multi-level index

bloomf

Efficient Bloom filters for OCaml

mirage-nat

library for network address translation intended for use with mirage unikernels

emile

ocaml-hex

Hexadecimal converter

ocaml-diet

A simple implementation of Discrete Interval Encoding Trees

repr

ptt

Postes, Télégraphes et Téléphones

ocaml-fat

Read and write FAT format filesystems from OCaml

encore

Synonym of angkor

ocaml-magic-mime

Convert file extensions to MIME types

irmin-server

A high-performance server for Irmin

ocaml-lazy-trie

Lazy prefix trees in OCaml

optint

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

ocaml-pcap

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

qubes-mirage-skeleton

An example Mirage unikernel that runs as a Qubes AppVM

duff

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

hacl

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

arp

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

shared-memory-ring

Xen-style shared memory rings

irmin-rpc

RPC client/server for Irmin

typebeat

Parsing of the Content-Type header in pure OCaml

ocaml-tuntap

Bindings to UNIX tuntap facilities

mirage-lambda

An eDSL for MirageOS apps

merge-queues

Mergeable queues

mirage-solo5

Solo5 core platform libraries for MirageOS

ocaml-qcow

Pure OCaml code for parsing, printing, modifying .qcow format data

mirage-xen

Xen core platform libraries for MirageOS

mirage-profile

Collect profiling information

ocaml-vmnet

NATed networking on MacOS X using the vmnet framework

mirage-clock

Portable clock implementation for Unix and Xen

ocaml-mbr

A simple library for manipulating Master Boot Records

cactus

A Btree library in OCaml

mirage-dev

Development OPAM repository for work-in-progress packages

mirage-fs-unix

Unix Filesystem passthrough for MirageOS

mirage-vnetif

Virtual network interface and software bridge for Mirage

spamtacus

Ocaml modular spam filter

irmin-rs

checkseum

ocaml-hvsock

Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)

mirage-handbook

WIP Handbook for MirageOS

ca-certs

Detect root CA certificates from the operating system

irmin-watcher

Portable implementation of the Irmin Watch API

retreat.mirage.io

Microsite for the MirageOS hack retreats

mmap

mirage-decks

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

ezxmlm

Like the tax form, this is an easier interface for quick n dirty XMLM scripts

mirage-unix

Unix core platform libraries for MirageOS

ocaml-gpt

A simple library for manipulating GUID partition tables

irmin.org

mirage-console

Portable console handling for Mirage applications

mirage-net-xen

Xen Netfront and Netback ethernet device drivers for Mirage