{"adoption": {"forks": 83, "observed_at": "2026-08-28T04:03:27.228774+00:00", "stars": 1067}, "canonical_url": "https://ross.abutalabs.com/products/halvm", "card": {"archived": true, "artifact_type": "framework", "description": "The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen", "domain": ["operating-systems", "developer-tools", "programming-languages"], "enriched": true, "function": ["compiler", "programming-language", "embedded"], "health_score": 10, "homepage": null, "language": "Haskell", "license": "BSD-3-Clause", "license_family": "permissive", "maturity": "abandoned", "member_repos": ["GaloisInc/HaLVM"], "name": "GaloisInc/HaLVM", "platform": [], "pushed_at": "2018-12-06T17:24:40+00:00", "repo": "GaloisInc/HaLVM", "stars": 1067, "tags": ["unikernel", "xen-hypervisor", "ghc", "haskell", "lightweight-virtualization", "linux"], "topics": ["haskell", "xen", "lightweight-virtual-machines", "xen-hypervisor", "halvm"], "urls": [], "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"], "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/halvm", "repo": "GaloisInc/HaLVM", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:27.228774+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:55:08.739727+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "39a8cee0ff55e4afb65e718785df165994d2f21b2656d7edf2aae3b23b7fe181", "fetched_at": "2026-08-28T04:03:27.228774+00:00", "kind": "readme", "missing": false, "url": "https://github.com/GaloisInc/HaLVM"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "archived"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 5270, "days_push": 2827, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 10, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}