[goy]

Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore.

[0] https://github.com/GaloisInc/HaLVM

[fhuici]

There's also LF/OSS www.unikraft.com, language-agnostic/Linux API compatible, actively maintained.

[baumschubser]

https://unikraft.org/ it is