News for hackers. Stuff that matters.

A comment on Mirage – A programming framework for building type-safe, modular systems.

Re:Mirage – A programming framework for building type-safe, ... by goy on Friday November 24, 2023 @05:11AM (#38402322)
Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore.

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

[ Parent | on HN ]
Re:Mirage – A programming framework for building type-safe, ... by fhuici on Friday November 24, 2023 @10:06AM (#38404698)
There's also LF/OSS www.unikraft.com, language-agnostic/Linux API compatible, actively maintained.
[ Parent | on HN ]
Re:Mirage – A programming framework for building type-safe, ... by baumschubser on Friday November 24, 2023 @10:23AM (#38404869)
https://unikraft.org/ it is
[ Parent | on HN ]