Here are
62 public repositories
matching this topic...
MirageOS is a library operating system that constructs unikernels
-
Updated
Jun 17, 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
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
-
Updated
May 29, 2024
-
OCaml
-
Updated
May 14, 2024
-
OCaml
Examples of simple MirageOS apps
-
Updated
Jun 17, 2024
-
OCaml
A Mirage firewall VM for QubesOS
-
Updated
May 22, 2024
-
OCaml
Albatross: orchestrate and manage MirageOS unikernels with Solo5
-
Updated
May 8, 2024
-
OCaml
A git-blogging unikernel written using MirageOS
-
Updated
Nov 17, 2023
-
OCaml
Purely functional SSH library in ocaml.
-
Updated
Feb 8, 2024
-
OCaml
OCaml implementation of the DNS protocol
-
Updated
May 29, 2024
-
OCaml
Freestanding OCaml runtime
TLS tunnel -- an alternative to stud / stunnel
-
Updated
Feb 15, 2023
-
OCaml
Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
An opinionated implementation of the OpenVPN protocol
-
Updated
Jun 17, 2024
-
OCaml
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
-
Updated
May 27, 2024
-
OCaml
-
Updated
Jun 27, 2019
-
OCaml
-
Updated
Oct 9, 2021
-
OCaml
X509 (RFC5280) handling in OCaml
-
Updated
Jun 11, 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.