Projects in Awesome Lists tagged with halvm
A curated list of projects in awesome lists tagged with halvm .
https://github.com/GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 21 Apr 2025
https://github.com/galoisinc/halvm
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 10 Jan 2026
https://github.com/dmjio/hello-halvm
Example "Hello World" HaLVM web-server running on the Xen Hypervisor
Last synced: 14 Apr 2025
https://github.com/dmjio/halvm-lightning-talk
A hypothetical HaLVM lightning talk
halvm haskell microkernel os unikernel
Last synced: 15 May 2026