HaLVM
hermit-rs
HaLVM | hermit-rs | |
---|---|---|
4 | 3 | |
1,014 | 1,588 | |
- | 1.1% | |
10.0 | 9.2 | |
over 5 years ago | 13 days ago | |
Haskell | Rust | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
HaLVM
- Mirage – A programming framework for building type-safe, modular systems
- Ask HN: Operating Systems built with functional languages?
- Haskell Lightweight Virtual Machine: GHC Running on Xen
-
Monthly Hask Anything (December 2021)
HalVM (High-assurance Lightweight Virtual Machine) was a Unikernel. It could compile Haskell programs to run as VMs on the Xen ABI.
hermit-rs
- Hermit: a Rust-based, lightweight unikernel
-
Mirage – A programming framework for building type-safe, modular systems
The rough Rust of this is https://github.com/hermit-os/hermit-rs
Though last I looked it wasn't nearly as mature as MirageOS.
-
Fomos: Experimental OS, Built with Rust
This seems to match the definition of a unikernel. Here is another one in Rust: https://github.com/hermit-os/hermit-rs
What are some alternatives?
solo5 - A sandboxed execution environment for unikernels
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
mirage - MirageOS is a library operating system that constructs unikernels
nanos - A kernel designed to run one and only one application in a virtualized environment
gilbraltar - MirageOS on RPi4
Sapphire - An x86 Operating System in Rust and Assembly
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
Theseus - Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
Mezzano - An operating system written in Common Lisp
stardust-oxide - Rust-based Unikernel