MirageOS
Results
54
repositories owned by
MirageOS
mirage-tcpip
332
Stars
83
Forks
Watchers
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
qubes-mirage-firewall
201
Stars
27
Forks
Watchers
A Mirage firewall VM for QubesOS
mirage
2.4k
Stars
237
Forks
Watchers
MirageOS is a library operating system that constructs unikernels
irmin
1.8k
Stars
154
Forks
Watchers
Irmin is a distributed database that follows the same design principles as Git
decompress
116
Stars
21
Forks
Watchers
Pure OCaml implementation of Zlib.
ocaml-cohttp
691
Stars
169
Forks
Watchers
An OCaml library for HTTP clients and servers using Lwt or Async
mirage-skeleton
215
Stars
92
Forks
Watchers
Examples of simple MirageOS apps
alcotest
423
Stars
80
Forks
Watchers
A lightweight and colourful test framework
mirage-crypto
74
Stars
42
Forks
Watchers
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)