Top 4 OCaml Unikernel Projects

mirage

14 2,062 8.6 OCaml

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

5 186 6.2 OCaml

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

www.influxdata.com
sponsored

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

0 47 4.6 OCaml

An opinionated implementation of the OpenVPN protocol (by roburio)
unikernels

1 41 0.0 OCaml

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.