Here are
62 public repositories
matching this topic...
Irmin is a distributed database that follows the same design principles as Git
Updated
May 13, 2024
OCaml
A Mirage firewall VM for QubesOS
Updated
May 11, 2024
OCaml
MirageOS is a library operating system that constructs unikernels
Updated
May 10, 2024
OCaml
Updated
May 10, 2024
OCaml
A sandboxed execution environment for unikernels
An opinionated implementation of the OpenVPN protocol
Updated
May 13, 2024
OCaml
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
Updated
May 9, 2024
OCaml
A TLS reverse proxy unikernel
Updated
May 9, 2024
OCaml
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
Albatross: orchestrate and manage MirageOS unikernels with Solo5
Updated
May 8, 2024
OCaml
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
Updated
May 9, 2024
OCaml
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
Updated
May 8, 2024
OCaml
Nitrokey NetHSM system software and firmware
Updated
May 7, 2024
OCaml
Solo5 core platform libraries for MirageOS
Updated
May 7, 2024
OCaml
Freestanding OCaml runtime
OCaml implementation of the DNS protocol
Updated
May 3, 2024
OCaml
Xen core platform libraries for MirageOS
Examples of simple MirageOS apps
Updated
May 10, 2024
OCaml
OCaml library for reporting metrics to a Prometheus server
Updated
Apr 16, 2024
OCaml
Updated
Apr 10, 2024
OCaml
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.