MirageOS is a library operating system that constructs unikernels
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.
writing kernel in haskell or ocaml.
1 project | reddit.com/r/osdev | 26 Oct 2021
Why should I learn OCaml?
1 project | reddit.com/r/ocaml | 9 Jul 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