MirageOS is a library operating system that constructs unikernels
The main example of which is probably MirageOS
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
Why should I learn OCaml?
1 project | reddit.com/r/ocaml | 9 Jul 2021
1 project | news.ycombinator.com | 21 Apr 2021
Learning path and direction for application build?
1 project | reddit.com/r/ocaml | 11 Apr 2021
Ultiboberon – Oberon on bare metal Raspberry Pi
3 projects | news.ycombinator.com | 4 Apr 2021
Mezzano: Operating system written in Common Lisp
7 projects | news.ycombinator.com | 6 Feb 2021