# GaloisInc/HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Repository: https://github.com/GaloisInc/HaLVM
Canonical: https://ross.abutalabs.com/products/halvm
Language: Haskell
License: BSD-3-Clause
License Family: permissive
Topics: haskell, xen, lightweight-virtual-machines, xen-hypervisor, halvm
Archived: true
Last push: 2018-12-06T17:24:40+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 0, release rhythm 35, longevity 100
- inputs: {"age_days": 5270, "days_push": 2827, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases, archived
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1067, forks 83 (observed 2026-08-28T04:03:27.228774+00:00)

## What it is
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
- artifact type: framework
- maturity: abandoned
- function: compiler, programming-language, embedded
- domain: operating-systems, developer-tools, programming-languages
- platform: -
- tags: unikernel, xen-hypervisor, ghc, haskell, lightweight-virtualization, linux

## Member repositories
- GaloisInc/HaLVM (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:03:27.228774+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T06:55:08.739727+00:00, confidence not recorded.
  - readme: https://github.com/GaloisInc/HaLVM (fetched 2026-08-28T04:03:27.228774+00:00, sha 39a8cee0ff55)
- Data as of 2026-08-30T08:39:29.467469+00:00.