MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.
Mentioned as similar to IBM's VM on https://minnie.tuhs.org/pipermail/tuhs/2022-May/025771.html
Welcome to the F# Survival Guide by John Puopolo with Sandy Squires. We wrote this book to introduce mainstream developers to the world of functional programming through the lens of F#, Microsoft's first fully-supported multi-paradigm language.
An interesting tool for numerical computation and data analysis, based on OCaml. Its author, David McClain designed the Lisp-based Siglab system afterwards. Interfaces exist for C/C++, VBasic, OCaml, Dylan, Mathematica, Lisp, and Scheme.