solo5
HaLVM
Our great sponsors
| solo5 | HaLVM | |
|---|---|---|
| 4 | 4 | |
| 868 | 1,014 | |
| 0.8% | - | |
| 5.8 | 10.0 | |
| 13 days ago | over 5 years ago | |
| C | Haskell | |
| ISC License | BSD 3-clause "New" or "Revised" 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.
solo5
-
Mirage – A programming framework for building type-safe, modular systems
What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;)
What you as well can do is record-replay -- well, at least there used to be this option, I'm now lost whether it has never been merged anywhere, or it is stuck in some PR somewhere. This was truly great - since the external interface is so thin, it is easily doable to dump all external events (API calls and returns) onto disk and replay one-by-one, inspecting the state.
- MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
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.
What are some alternatives?
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
mirage - MirageOS is a library operating system that constructs unikernels
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
gilbraltar - MirageOS on RPi4
unikernels - MirageOS unikernels
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
app-llama2-c - Llama 2 Everywhere (L2E)
Mezzano - An operating system written in Common Lisp
cosmopolitan - build-once run-anywhere c library
hermit-rs - Hermit for Rust.
nanos - A kernel designed to run one and only one application in a virtualized environment
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.