mirage/mirage

MirageOS is a library operating system that constructs unikernels

Language: OCaml - Size: 29.6 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 2,704 - Forks: 253

mirage/ocaml-unikraft

OCaml cross-compiler to freestanding Unikraft backends

Language: Shell - Size: 136 KB - Last synced at: 7 days ago - Pushed at: 23 days ago - Stars: 4 - Forks: 0

mirage/alcotest

A lightweight and colourful test framework

Language: OCaml - Size: 3.78 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 483 - Forks: 83

mirage/ocaml-cstruct

Map OCaml arrays onto C-like structs

Language: OCaml - Size: 1.66 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 109 - Forks: 49

mirage/decompress

Pure OCaml implementation of Zlib.

Language: OCaml - Size: 4.72 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 119 - Forks: 21

mirage/irmin

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

Language: OCaml - Size: 55.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,887 - Forks: 161

mirage/mirage-solo5

Solo5 core platform libraries for MirageOS

Language: OCaml - Size: 2.17 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 19 - Forks: 22

mirage/ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language: OCaml - Size: 2.36 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 84 - Forks: 74

mirage/mirage-tcpip

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

Language: OCaml - Size: 27.5 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 346 - Forks: 88

mirage/ocaml-dns

OCaml implementation of the DNS protocol

Language: OCaml - Size: 5.54 MB - Last synced at: 7 days ago - Pushed at: 20 days ago - Stars: 107 - Forks: 44

mirage/ca-certs-nss

CA certificates extracted from NSS, to be used with MirageOS

Language: OCaml - Size: 2.79 MB - Last synced at: 3 days ago - Pushed at: 23 days ago - Stars: 6 - Forks: 2

mirage/ocaml-cohttp

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

Language: OCaml - Size: 7.59 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 745 - Forks: 179

mirage/mirage-block-unikraft

Unikraft implementation of MirageOS block interface

Language: C - Size: 8.79 KB - Last synced at: 7 days ago - Pushed at: 29 days ago - Stars: 2 - Forks: 0

mirage/mirage-net-unikraft

Unikraft implementation of MirageOS network interface

Language: C - Size: 18.6 KB - Last synced at: 7 days ago - Pushed at: 29 days ago - Stars: 3 - Forks: 0

mirage/mirage-unikraft

Unikraft core platform libraries for MirageOS

Language: OCaml - Size: 7.81 KB - Last synced at: 7 days ago - Pushed at: 29 days ago - Stars: 2 - Forks: 0

mirage/ocaml-rpc

Light library to deal with RPCs in OCaml

Language: OCaml - Size: 1.2 MB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 98 - Forks: 32

mirage/ocaml-9p

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

Language: OCaml - Size: 953 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 65 - Forks: 20

mirage/mrmime

What do you mean?

Language: OCaml - Size: 1.81 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 44 - Forks: 10

mirage/awa-ssh

Purely functional SSH library in ocaml.

Language: OCaml - Size: 1.44 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 103 - Forks: 14

mirage/colombe

Implementation of SMTP protocols in OCaml

Language: OCaml - Size: 1.3 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 44 - Forks: 7

mirage/metrics

Infrastructure to collect metrics from OCaml applications.

Language: OCaml - Size: 631 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 45 - Forks: 11

mirage/ocaml-dkim

DKIM support on e-mail

Language: OCaml - Size: 1.01 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 1

mirage/ocaml-qcow

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

Language: OCaml - Size: 983 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 20

mirage/ptt

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

Language: OCaml - Size: 601 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 28 - Forks: 6

mirage/uspf

SPF verifier and signer in OCaml

Language: OCaml - Size: 720 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 10 - Forks: 1

mirage/prometheus

OCaml library for reporting metrics to a Prometheus server

Language: OCaml - Size: 156 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 54 - Forks: 28

mirage/mirage-skeleton

Examples of simple MirageOS apps

Language: OCaml - Size: 859 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 231 - Forks: 98

mirage/functoria 📦

A DSL to invoke otherworldly functors

Language: OCaml - Size: 1.22 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 63 - Forks: 21

mirage/ocaml-tuntap

Bindings to UNIX tuntap facilities

Language: OCaml - Size: 938 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 22 - Forks: 22

mirage/bloomf

Efficient Bloom filters for OCaml

Language: OCaml - Size: 68.4 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 38 - Forks: 6

mirage/ocaml-crunch

Convert a filesystem into a static OCaml module

Language: OCaml - Size: 878 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 77 - Forks: 21

mirage/jitsu 📦

A DNS server that automatically starts unikernels on demand

Language: OCaml - Size: 259 KB - Last synced at: 7 days ago - Pushed at: about 9 years ago - Stars: 304 - Forks: 36

mirage/conan

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

Language: OCaml - Size: 1.86 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 52 - Forks: 7

mirage/mirage-channel

An implementation of channels using page-aligned memory

Language: OCaml - Size: 770 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 10

mirage/ezjsonm

An easy interface on top of the Jsonm library.

Language: OCaml - Size: 3.62 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 42 - Forks: 23

mirage/checkseum

Language: C - Size: 626 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 13

mirage/ocaml-hex

Hexadecimal converter

Language: OCaml - Size: 136 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 29 - Forks: 15

mirage/ocaml-base64

Base64 encoding and decoding in OCaml

Language: OCaml - Size: 594 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 43 - Forks: 21

mirage/ocaml-pcap

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

Language: OCaml - Size: 197 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 14

mirage/mirage-kv-unix

MirageOS key value store implementation using a Unix file system

Language: OCaml - Size: 841 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 11 - Forks: 5

mirage/mirage-net-macosx

MacOS X implementation of the Mirage NETWORK interface

Language: OCaml - Size: 136 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 10 - Forks: 8

mirage/ocaml-vmnet

NATed networking on MacOS X using the vmnet framework

Language: OCaml - Size: 155 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 18 - Forks: 6

mirage/ocaml-fat

Read and write FAT format filesystems from OCaml

Language: OCaml - Size: 633 KB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 25 - Forks: 18

mirage/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.

Language: C - Size: 2.53 MB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 78 - Forks: 43

mirage/ocaml-xenstore

A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.

Language: OCaml - Size: 2.38 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 22

mirage/mirage-www

Website infrastructure and content for mirage.io

Language: HTML - Size: 11.7 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 171 - Forks: 109

mirage/ocaml-github

GitHub APIv3 OCaml bindings

Language: OCaml - Size: 2.29 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 101 - Forks: 53

mirage/lwt-dllist

Mutable doubly-linked list with Lwt iterators

Language: OCaml - Size: 52.7 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 5

mirage/ocaml-solo5

Freestanding OCaml runtime

Language: C - Size: 860 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 105 - Forks: 31

mirage/mini-os 📦

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

Language: C - Size: 1.23 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 64 - Forks: 22

mirage/digestif

Simple hash algorithms in OCaml

Language: OCaml - Size: 3.92 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 90 - Forks: 28

mirage/dream Fork of aantron/dream

Tidy, feature-complete Web framework

Language: OCaml - Size: 3.3 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1

mirage/mirage-block-ramdisk

A simple in-memory BLOCK device

Language: OCaml - Size: 57.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 7 - Forks: 7

mirage/qubes-mirage-firewall

A Mirage firewall VM for QubesOS

Language: OCaml - Size: 444 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 220 - Forks: 29

mirage/mirage-crypto

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

Language: C - Size: 9.1 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 78 - Forks: 44

mirage/ocaml-git

Pure OCaml Git format and protocol

Language: OCaml - Size: 13.2 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 364 - Forks: 69

mirage/unikraft Fork of unikraft/unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Size: 7.78 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

mirage/arp

Address resolution protocol (ARP) implementation in OCaml targeting MirageOS

Language: OCaml - Size: 845 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 22 - Forks: 10

mirage/unikraft-lib-musl Fork of unikraft/lib-musl

musl: A C standard library

Size: 162 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

mirage/mirage-nat

library for network address translation intended for use with mirage unikernels

Language: OCaml - Size: 908 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 33 - Forks: 15

mirage/hamlet

Any resemblance to real and actual mails is purely coincidental.

Size: 606 MB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 12 - Forks: 2

mirage/ocaml-vhd

Read and write .vhd format data

Language: OCaml - Size: 1.49 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 9 - Forks: 20

mirage/ca-certs

Detect root CA certificates from the operating system

Language: OCaml - Size: 685 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 14 - Forks: 13

mirage/dns-resolver

Language: OCaml - Size: 10.7 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 7 - Forks: 2

mirage/mirage-lambda

An eDSL for MirageOS apps

Language: OCaml - Size: 239 KB - Last synced at: 6 days ago - Pushed at: almost 7 years ago - Stars: 20 - Forks: 5

mirage/spamtacus

Ocaml modular spam filter

Language: OCaml - Size: 441 KB - Last synced at: 7 days ago - Pushed at: 10 months ago - Stars: 16 - Forks: 1

mirage/mirage-dev

Development OPAM repository for work-in-progress packages

Size: 718 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 21

mirage/index

A platform-agnostic multi-level index

Language: OCaml - Size: 1.99 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 33 - Forks: 21

mirage/optint

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

Language: OCaml - Size: 475 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 24 - Forks: 10

mirage/retreat-website

Microsite for the MirageOS hack retreats

Language: OCaml - Size: 120 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 7

mirage/ocaml-mbr

A simple library for manipulating Master Boot Records

Language: OCaml - Size: 177 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 18 - Forks: 9

mirage/ocaml-tar

Pure OCaml library to read and write tar files

Language: OCaml - Size: 1.48 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 56 - Forks: 33

mirage/ocaml-uri

RFC3986 URI parsing library for OCaml

Language: OCaml - Size: 1.31 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 98 - Forks: 56

mirage/ocaml-gnt

OCaml bindings to the Xen grant tables libraries

Language: OCaml - Size: 833 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 8 - Forks: 14

mirage/ocaml-evtchn

Xen event channel interface for Mirage

Language: OCaml - Size: 156 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 13

mirage/shared-memory-ring

Xen-style shared memory rings

Language: OCaml - Size: 943 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 19 - Forks: 12

mirage/shared-block-ring

A simple on-disk fixed length queue

Language: OCaml - Size: 324 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 11

mirage/ocaml-vchan

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

Language: OCaml - Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 45 - Forks: 24

mirage/mirage-vnetif

Virtual network interface and software bridge for Mirage

Language: OCaml - Size: 830 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 16 - Forks: 14

mirage/mirage-net-unix

Ethernet networking interface for Unix Mirage applications using tuntap

Language: OCaml - Size: 293 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 16

mirage/mirage-net-xen

Xen Netfront and Netback ethernet device drivers for Mirage

Language: OCaml - Size: 1.14 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 15

mirage/mirage-net-solo5

Solo5 implementation of MirageOS network interface

Language: OCaml - Size: 289 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 6 - Forks: 10

mirage/mirage-net

Network devices for MirageOS

Language: OCaml - Size: 95.7 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 9 - Forks: 13

mirage/mirage-block-unix

Unix implementation of the Mirage_types.BLOCK interface

Language: OCaml - Size: 492 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 24

mirage/mirage-block-xen

Client and server implementations of the xen paravirtualised block driver protocol

Language: OCaml - Size: 1.09 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 19

mirage/mirage-block-solo5

Solo5 implementation of MirageOS block interface

Language: OCaml - Size: 378 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 9 - Forks: 9

mirage/mirage-block

Block implementations for mirage

Language: OCaml - Size: 287 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 11

mirage/io-page

IO memory page library for Mirage backends

Language: OCaml - Size: 382 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 21

mirage/mirage-unix

Unix core platform libraries for MirageOS

Language: OCaml - Size: 2.31 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 11

mirage/ocaml-ipaddr

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

Language: OCaml - Size: 1.27 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 40 - Forks: 24

mirage/irmin.org

Irmin website

Language: CSS - Size: 1.65 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 14

mirage/encore

Synonym of angkor

Language: OCaml - Size: 385 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 25 - Forks: 9

mirage/irmin-server

A high-performance server for Irmin

Language: OCaml - Size: 454 KB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 24 - Forks: 7

mirage/charrua

A DHCP library in OCaml

Language: OCaml - Size: 1.76 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 55 - Forks: 18

mirage/mirage-qubes

Mirage support for writing QubesOS AppVM unikernels

Language: OCaml - Size: 942 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 63 - Forks: 11

mirage/mirage-kv-mem

MirageOS key value store implementation in memory, not persistent

Language: OCaml - Size: 684 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 5

mirage/mirage-xen

Xen core platform libraries for MirageOS

Language: C - Size: 3.12 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 18 - Forks: 21

mirage/mirage-flow

Flow implementations for Mirage

Language: OCaml - Size: 904 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 12 - Forks: 11

mirage/mirage-logs

A Mirage reporter for the Logs library

Language: OCaml - Size: 716 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 7 - Forks: 7

mirage/capnp-rpc

Cap'n Proto RPC implementation

Language: OCaml - Size: 4.9 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 105 - Forks: 21