OCaml Unikernel

Open-source OCaml projects categorized as Unikernel

Top 4 OCaml Unikernel Projects

  • mirage

    MirageOS is a library operating system that constructs unikernels

    Project mention: Container runtime as a static binary? | reddit.com/r/linux | 2023-01-21

    OCaml MirageOS? https://mirage.io/

  • qubes-mirage-firewall

    A Mirage firewall VM for QubesOS

    Project mention: Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea? | reddit.com/r/openbsd | 2023-01-18

    2) https://github.com/mirage/qubes-mirage-firewall is by far a better firewall for Qubes than OpenBSD ever will be - unikernels are far more secure than a traditional operating system is and you can read all about it on https://mirageos.org/

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • openvpn

    An opinionated implementation of the OpenVPN protocol (by roburio)

  • unikernels

    MirageOS unikernels (by roburio)

    Project mention: MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels | news.ycombinator.com | 2022-03-29

    Just substitute 'microservice' with 'unikernel' and you do broadly the same things. There's a prometheus library that you link with the MirageOS unikernel and it exports using that: https://github.com/mirage/prometheus

    No FAQ for this sort of thing yet, but we should start assembling one sometime soon. Questions like this very welcome on the discussion forums: https://discuss.ocaml.org/t/ann-mirageos-4-0/9598 to help us get started.

    There's a nice collection of unikernels over at: https://github.com/roburio/unikernels and https://github.com/tarides/unikernels for various infrastructure pieces (like https, smtp, dns, ip filters, etc) that are good to crib from for your own infrastructure.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-21.

OCaml Unikernel related posts


What are some of the best open-source Unikernel projects in OCaml? This list will help you:

Project Stars
1 mirage 2,062
2 qubes-mirage-firewall 186
3 openvpn 47
4 unikernels 41
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives