HaLVM
gilbraltar
| HaLVM | gilbraltar | |
|---|---|---|
| 4 | 1 | |
| 1,014 | 57 | |
| - | - | |
| 10.0 | 10.0 | |
| over 5 years ago | over 1 year ago | |
| Haskell | C | |
| BSD 3-clause "New" or "Revised" License | ISC License |
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.
gilbraltar
-
Mirage – A programming framework for building type-safe, modular systems
It is possible to run Mirage in ARM under for example KVM or using the seccomp target.
There is as well an experimental bare-metal target for raspberry pi 4 called gilbraltar https://github.com/dinosaure/gilbraltar. A big obstacle there is the device drivers. It is very cool to run bare metal on an rpi4, but it would be cool to be able use the network interface too.
What are some alternatives?
solo5 - A sandboxed execution environment for unikernels
mirage - MirageOS is a library operating system that constructs unikernels
unik - The Unikernel & MicroVM Compilation and Deployment Platform
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Mezzano - An operating system written in Common Lisp
hermit-rs - Hermit for Rust.