Here are
62 public repositories
matching this topic...
MirageOS is a library operating system that constructs unikernels
Updated
May 29, 2024
OCaml
Irmin is a distributed database that follows the same design principles as Git
Updated
May 17, 2024
OCaml
A sandboxed execution environment for unikernels
Examples of simple MirageOS apps
Updated
May 29, 2024
OCaml
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Updated
May 24, 2024
OCaml
Updated
May 14, 2024
OCaml
OCaml implementation of the DNS protocol
Updated
May 20, 2024
OCaml
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
X509 (RFC5280) handling in OCaml
Updated
May 16, 2024
OCaml
Freestanding OCaml runtime
A Mirage firewall VM for QubesOS
Updated
May 22, 2024
OCaml
A git-blogging unikernel written using MirageOS
Updated
Nov 17, 2023
OCaml
OCaml library for reporting metrics to a Prometheus server
Updated
Apr 16, 2024
OCaml
Solo5 core platform libraries for MirageOS
Updated
May 18, 2024
OCaml
Xen core platform libraries for MirageOS
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Updated
May 8, 2024
OCaml
OCaml code for generating and analysing pcap (packet capture) files
Updated
Oct 29, 2023
OCaml
Purely functional SSH library in ocaml.
Updated
Feb 8, 2024
OCaml
Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
Updated
Jul 6, 2021
Assembly
Improve this page
Add a description, image, and links to the
mirageos
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
mirageos
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.