house
Haskell Operating System (by dls)
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen (by GaloisInc)
house | HaLVM | |
---|---|---|
1 | 4 | |
134 | 1,014 | |
- | - | |
10.0 | 10.0 | |
about 15 years ago | over 5 years ago | |
Haskell | ||
GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
house
Posts with mentions or reviews of house.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-03.
-
Monthly Hask Anything (December 2021)
House (and LightHouse) was an experimental OS written largely in Haskell.
HaLVM
Posts with mentions or reviews of HaLVM.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-11-23.
- 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.
What are some alternatives?
When comparing house and HaLVM you can also consider the following projects:
solo5 - A sandboxed execution environment for unikernels
mirage - MirageOS is a library operating system that constructs unikernels
gilbraltar - MirageOS on RPi4
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
Mezzano - An operating system written in Common Lisp
hermit-rs - Hermit for Rust.