3 ms·
Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore. [0] https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
by goy 3y ago
Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore.
[0] https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
- fhuici 3y agoThere's also LF/OSS www.unikraft.com, language-agnostic/Linux API compatible, actively maintained.
- baumschubser 3y agohttps://unikraft.org/ https://unikraft.org/ it is