MirageOS

Pinned Repositories

alcotest
A lightweight and colourful test framework
Language:OCaml495 24 13284
irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml1.9k 56 611162
jitsu
A DNS server that automatically starts unikernels on demand
Language:OCaml304 41 1336
mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml2.8k 84 504260
mirage-skeleton
Examples of simple MirageOS apps
Language:OCaml230 27 6598
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Language:OCaml351 39 10789
mirage-www
Website infrastructure and content for mirage.io
Language:HTML172 28 163109
ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language:OCaml754 28 366183
ocaml-git
Pure OCaml Git format and protocol
Language:OCaml367 19 14868
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml229 29 9330

MirageOS's Repositories

mirage/mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml2.8k 84 504260
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml1.9k 56 611162
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language:OCaml754 28 366183
mirage/alcotest
A lightweight and colourful test framework
Language:OCaml495 24 13284
mirage/mirage-skeleton
Examples of simple MirageOS apps
Language:OCaml230 27 6598
mirage/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml229 29 9330
mirage/mirage-www
Website infrastructure and content for mirage.io
Language:HTML172 28 163109
mirage/ocaml-dns
OCaml implementation of the DNS protocol
Language:OCaml109 18 11344
mirage/ocaml-solo5
Freestanding OCaml runtime
Language:C106 25 2732
mirage/mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Language:C81 14 7546
mirage/charrua
A DHCP library in OCaml
Language:OCaml56 22 3619
mirage/ocaml-tar
Pure OCaml library to read and write tar files
Language:OCaml55 18 3433
mirage/mrmime
What do you mean?
Language:OCaml46 20 1511
mirage/ocaml-base64
Base64 encoding and decoding in OCaml
Language:OCaml46 11 1221
mirage/ocaml-ipaddr
A library for manipulation of IP (and MAC) address representations
Language:OCaml41 18 4024
mirage/index
A platform-agnostic multi-level index
Language:OCaml33 23 5023
mirage/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
Language:OCaml23 21 312
mirage/mirage-solo5
Solo5 core platform libraries for MirageOS
Language:OCaml19 20 723
mirage/ocaml-fsevents
macOS bindings to the FSEvents API
Language:OCaml18 10 23
mirage/retreat-website
Microsite for the MirageOS hack retreats
Language:OCaml13 12 07
mirage/mirage-net-xen
Xen Netfront and Netback ethernet device drivers for Mirage
Language:OCaml12 15 1815
mirage/mirage-fs
Filesystem and block libraries for Mirage
Language:OCaml11 22 210
mirage/mirage-kv-mem
MirageOS key value store implementation in memory, not persistent
Language:OCaml11 24 06
mirage/ocaml-unikraft
OCaml cross-compiler to freestanding Unikraft backends
Language:Shell8
mirage/dns-resolver
Language:OCaml7 9 12
mirage/ca-certs-nss
CA certificates extracted from NSS, to be used with MirageOS
Language:OCaml6 7 42
mirage/mirage-ptime
POSIX time functions for MirageOS
Language:OCaml4 7 02
mirage/unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Language:C1
mirage/unikraft-lib-musl
musl: A C standard library
Language:C
mirage/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Language:OCaml1 21