GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases archived
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 5270
- days_rel: n/a
- days_push: 2827
- n_releases_24m: 0
Adoption not part of the score
1067 stars · 83 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
The Haskell Lightweight Virtual Machine (HaLVM) is a port of the Glasgow Haskell Compiler toolchain that lets developers write Haskell programs running directly on the Xen hypervisor as lightweight unikernels. It supports standard Cabal workflows and is suited to prototyping OS components or building single-purpose network appliances.
Use cases
- build unikernels in Haskell for Xen
- prototype operating system components
- create lightweight single-purpose network appliances
- run Haskell code without a full OS
- develop minimal-footprint Xen domains
When to choose
- you want to write unikernels in Haskell targeting the Xen hypervisor
- you need minimal-footprint single-purpose domains
- you want to prototype OS components using high-level Haskell
When to avoid
- you need a maintained toolchain - the project has not released since 2018
- you target hypervisors other than Xen
- you need a general-purpose OS or cloud-native container workflow
Facets
framework · maturity abandoned
compiler programming-language embedded operating-systems developer-tools programming-languages unikernel xen-hypervisor ghc haskell lightweight-virtualization linux
1 source
- readme: https://github.com/GaloisInc/HaLVM · fetched 2026-08-28 · 39a8cee0ff55
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| GaloisInc/HaLVM | main | 10 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem