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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		goy on Nov 24, 2023 \| parent \| context \| favorite \| on: Mirage – A programming framework for building type... Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore. [0] https://github.com/GaloisInc/HaLVM

fhuici on Nov 24, 2023 [–]

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

baumschubser on Nov 24, 2023 | [–]

https://unikraft.org/ it is

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact