Discover mirage/mirage-xen Open Source project by MirageOS (@mirage)

Stars
18
Rank 1,208,736 (Top 24 %)
Language
C
License
ISC License
Created over 6 years ago
Updated 6 months ago

mirage

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Xen core platform libraries for MirageOS

mirage

MirageOS is a library operating system that constructs unikernels

OCaml

2,520

irmin

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

OCaml

1,742

ocaml-cohttp

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

OCaml

644

alcotest

A lightweight and colourful test framework

OCaml

447

ocaml-git

Pure OCaml Git format and protocol

OCaml

349

mirage-tcpip

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

OCaml

321

jitsu

A DNS server that automatically starts unikernels on demand

OCaml

307

mirage-skeleton

Examples of simple MirageOS apps

OCaml

224

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

OCaml

207

mirage-www

Website infrastructure and content for mirage.io

HTML

162

decompress

Pure OCaml implementation of Zlib.

OCaml

116

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

105

awa-ssh

Purely functional SSH library in ocaml.

OCaml

104

ocaml-cstruct

Map OCaml arrays onto C-like structs

OCaml

103

ocaml-dns

OCaml implementation of the DNS protocol

OCaml

102

ocaml-solo5

Freestanding OCaml runtime

101

ocaml-github

GitHub APIv3 OCaml bindings

OCaml

100

capnp-rpc

Cap'n Proto RPC implementation

OCaml

ocaml-rpc

Light library to deal with RPCs in OCaml

OCaml

ocaml-uri

RFC3986 URI parsing library for OCaml

OCaml

digestif

Simple hash algorithms in OCaml

OCaml

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

OCaml

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

ocaml-9p

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

OCaml

functoria

A DSL to invoke otherworldly functors

OCaml

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

OCaml

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

Shell

charrua

A DHCP library in OCaml

OCaml

orm

Object Relational Mapper extension

OCaml

Fast implementation of queue in OCaml

HTML

eqaf

Constant time equal function to avoid timing attacks in OCaml

OCaml

conan

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

OCaml

prometheus

OCaml library for reporting metrics to a Prometheus server

OCaml

ocaml-matrix

Implementation of a matrix server in OCaml for MirageOS

OCaml

ocaml-tar

Pure OCaml library to read and write tar files

OCaml

ocaml-vchan

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

OCaml

metrics

Infrastructure to collect metrics from OCaml applications.

OCaml

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

OCaml

wodan

A Mirage filesystem library

OCaml

ocaml-base64

Base64 encoding and decoding in OCaml

OCaml

colombe

Implementation of SMTP protocols in OCaml

OCaml

ocaml-ipaddr

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

OCaml

mrmime

What do you mean?

OCaml

ezjsonm

An easy interface on top of the Jsonm library.

OCaml

index

A platform-agnostic multi-level index

OCaml

bloomf

Efficient Bloom filters for OCaml

OCaml

emile

& images

OCaml

mirage-nat

library for network address translation intended for use with mirage unikernels

OCaml

repr

OCaml

ocaml-hex

Hexadecimal converter

OCaml

ocaml-diet

A simple implementation of Discrete Interval Encoding Trees

OCaml

ptt

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

OCaml

ocaml-fat

Read and write FAT format filesystems from OCaml

OCaml

encore

Synonym of angkor

OCaml

ocaml-magic-mime

Convert file extensions to MIME types

OCaml

irmin-server

A high-performance server for Irmin

OCaml

optint

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

OCaml

ocaml-lazy-trie

Lazy prefix trees in OCaml

OCaml

qubes-mirage-skeleton

An example Mirage unikernel that runs as a Qubes AppVM

OCaml

ocaml-pcap

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

OCaml

duff

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

OCaml

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

OCaml

shared-memory-ring

Xen-style shared memory rings

OCaml

irmin-rpc

RPC client/server for Irmin

OCaml

typebeat

Parsing of the Content-Type header in pure OCaml

OCaml

mirage-solo5

Solo5 core platform libraries for MirageOS

OCaml

ocaml-tuntap

Bindings to UNIX tuntap facilities

OCaml

mirage-lambda

An eDSL for MirageOS apps

OCaml

merge-queues

Mergeable queues

OCaml

ocaml-qcow

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

OCaml

ocaml-vmnet

NATed networking on MacOS X using the vmnet framework

OCaml

mirage-profile

Collect profiling information

OCaml

cactus

A Btree library in OCaml

OCaml

mirage-clock

Portable clock implementation for Unix and Xen

OCaml

ocaml-mbr

A simple library for manipulating Master Boot Records

OCaml

spamtacus

Ocaml modular spam filter

OCaml

mirage-dev

Development OPAM repository for work-in-progress packages

ocaml-fsevents

macOS bindings to the FSEvents API

OCaml

mirage-fs-unix

Unix Filesystem passthrough for MirageOS

OCaml

mirage-vnetif

Virtual network interface and software bridge for Mirage

OCaml

irmin-rs

Rust

ocaml-hvsock

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

OCaml

ca-certs

Detect root CA certificates from the operating system

OCaml

irmin-watcher

Portable implementation of the Irmin Watch API

OCaml

checkseum

mirage-handbook

WIP Handbook for MirageOS

retreat.mirage.io

Microsite for the MirageOS hack retreats

OCaml

mmap

File mapping

OCaml

mirage-decks

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

HTML

ezxmlm

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

OCaml

mirage-unix

Unix core platform libraries for MirageOS

OCaml

ocaml-gpt

A simple library for manipulating GUID partition tables

OCaml

irmin.org

Irmin website

CSS

mirage-console

Portable console handling for Mirage applications

OCaml

100

mirage-net-xen

Xen Netfront and Netback ethernet device drivers for Mirage

OCaml

mirage/mirage-xen

mirage

Reviews

Repository Details

More Repositories