MirageOS

Pinned Repositories

alcotest
A lightweight and colourful test framework
Language:OCaml425 25 12780
irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml1.8k 61 601154
jitsu
A DNS server that automatically starts unikernels on demand
Language:OCaml307 44 1336
mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml2.5k 84 481238
mirage-skeleton
Examples of simple MirageOS apps
Language:OCaml217 30 6292
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Language:OCaml334 41 10683
mirage-www
Website infrastructure and content for mirage.io
Language:HTML170 30 160105
ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language:OCaml692 30 354170
ocaml-git
Pure OCaml Git format and protocol
Language:OCaml362 19 14570
qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml202 30 8728

MirageOS's Repositories

mirage/mirage
MirageOS is a library operating system that constructs unikernels
Language:OCaml2.5k 84 481238
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
Language:OCaml1.8k 61 601154
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language:OCaml692 30 354170
mirage/alcotest
A lightweight and colourful test framework
Language:OCaml425 25 12780
mirage/ocaml-git
Pure OCaml Git format and protocol
Language:OCaml362 19 14570
mirage/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Language:OCaml334 41 10683
mirage/mirage-skeleton
Examples of simple MirageOS apps
Language:OCaml217 30 6292
mirage/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language:OCaml202 30 8728
mirage/mirage-www
Website infrastructure and content for mirage.io
Language:HTML170 30 160105
mirage/ocaml-dns
OCaml implementation of the DNS protocol
Language:OCaml102 21 10842
mirage/ocaml-solo5
Freestanding OCaml runtime
Language:C100 25 2429
mirage/mirage-crypto
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Language:C75 16 6342
mirage/charrua
A DHCP library in OCaml
Language:OCaml55 10 3518
mirage/ocaml-tar
Pure OCaml library to read and write tar files
Language:OCaml54 19 2833
mirage/ocaml-vchan
Pure OCaml implementation of the "vchan" shared-memory communication protocol
Language:OCaml46 11 2726
mirage/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
Language:OCaml21 7 210
mirage/mirage-solo5
Solo5 core platform libraries for MirageOS
Language:OCaml20 21 621
mirage/mirage-xen
Xen core platform libraries for MirageOS
Language:C18 15 420
mirage/mirage-vnetif
Virtual network interface and software bridge for Mirage
Language:OCaml16 9 913
mirage/irmin-watcher
Portable implementation of the Irmin Watch API
Language:OCaml15 22 515
mirage/retreat.mirage.io
Microsite for the MirageOS hack retreats
Language:OCaml14 13 07
mirage/mirage-net-xen
Xen Netfront and Netback ethernet device drivers for Mirage
Language:OCaml12 15 1815
mirage/mirage-block-xen
Client and server implementations of the xen paravirtualised block driver protocol
Language:OCaml10 9 1119
mirage/mirage-bootvar
Boot parameters for MirageOS
Language:OCaml9
mirage/mirage-kv
MirageOS signature for key/value stores
Language:OCaml9 9 1114
mirage/ocaml-gnt
OCaml bindings to the Xen grant tables libraries
Language:OCaml914
mirage/mirage-time
Time signatures for MirageOS
Language:OCaml8 10 08
mirage/ocaml-xenstore
A Xenstore protocol implementation in pure OCaml. This code works in both regular Unix and in MirageOS applications.
Language:OCaml819
mirage/ca-certs-nss
CA certificates extracted from NSS, to be used with MirageOS
Language:OCaml7 9 41
mirage/operator-handbook
A handbook for MirageOS unikernel operatos
6