Explore @mirage Open Source projects

MirageOS (@mirage)

mirage

Stars
11,160
Global Org. Rank 2,149 (Top 0.7 %)
Registered about 15 years ago
Most used languages

OCaml
88.4 %

C
5.3 %

Shell
2.1 %

HTML
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.

awa-ssh

Purely functional SSH library in ocaml.

ocaml-cstruct

Map OCaml arrays onto C-like structs

ocaml-dns

OCaml implementation of the DNS protocol

ocaml-solo5

Freestanding OCaml runtime

ocaml-github

GitHub APIv3 OCaml bindings

capnp-rpc

Cap'n Proto RPC implementation

ocaml-rpc

Light library to deal with RPCs in OCaml

ocaml-uri

RFC3986 URI parsing library for OCaml

digestif

Simple hash algorithms in OCaml

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

mirage-crypto

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

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.

xen

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

ocaml-crunch

Convert a filesystem into a static OCaml module

ocaml-9p

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

functoria

A DSL to invoke otherworldly functors

mini-os

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

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

ke

Fast implementation of queue in OCaml

eqaf

Constant time equal function to avoid timing attacks in OCaml

conan

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

prometheus

OCaml library for reporting metrics to a Prometheus server

ocaml-matrix

Implementation of a matrix server in OCaml for MirageOS

ocaml-tar

Pure OCaml library to read and write tar files

ocaml-vchan

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

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

emile

mirage-nat

library for network address translation intended for use with mirage unikernels

repr

ocaml-hex

Hexadecimal converter

ocaml-diet

A simple implementation of Discrete Interval Encoding Trees

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

optint

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

ocaml-lazy-trie

Lazy prefix trees in OCaml

qubes-mirage-skeleton

An example Mirage unikernel that runs as a Qubes AppVM

ocaml-pcap

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

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

mirage-solo5

Solo5 core platform libraries for MirageOS

ocaml-tuntap

Bindings to UNIX tuntap facilities

mirage-lambda

An eDSL for MirageOS apps

merge-queues

Mergeable queues

ocaml-qcow

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

ocaml-vmnet

NATed networking on MacOS X using the vmnet framework

mirage-xen

Xen core platform libraries for MirageOS

mirage-profile

Collect profiling information

cactus

A Btree library in OCaml

mirage-clock

Portable clock implementation for Unix and Xen

ocaml-mbr

A simple library for manipulating Master Boot Records

spamtacus

Ocaml modular spam filter

mirage-dev

Development OPAM repository for work-in-progress packages

ocaml-fsevents

macOS bindings to the FSEvents API

mirage-fs-unix

Unix Filesystem passthrough for MirageOS

mirage-vnetif

Virtual network interface and software bridge for Mirage

irmin-rs

ocaml-hvsock

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

ca-certs

Detect root CA certificates from the operating system

irmin-watcher

Portable implementation of the Irmin Watch API

checkseum

mirage-handbook

WIP Handbook for MirageOS

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