# GaloisInc/HaLVM

<https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM>

[Home](https://repo.masters-masters.com/en) › [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) › [HaLVM](https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM)

GaloisInc/HaLVM has 1,069 stars on GitHub. Its RepoMasters card: Beta tier. The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

| Field | Value |
| --- | --- |
| Owner | [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) |
| Stars | 1,069 |
| Forks | 83 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | BSD-3-Clause |
| Created | 2012 |
| Topics | haskell, xen, lightweight-virtual-machines, xen-hypervisor, halvm |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [GaloisInc/HaLVM](https://github.com/GaloisInc/HaLVM) |

## Repository

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

Archived: this repository is read-only

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by GaloisInc

- [GaloisInc/cryptol · ★ 1,227 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/cryptol)
- [GaloisInc/crucible · ★ 781 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/crucible)
- [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/saw-script)
- [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/ivory)
- [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/swanky)
- [GaloisInc/reopt · ★ 344 · LLVM · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/reopt)

## Nearby in Haskell

- [tweag/ormolu · ★ 1,077 · Haskell · Beta](https://repo.masters-masters.com/en/repos/tweag/ormolu)
- [polysemy-research/polysemy · ★ 1,076 · Haskell · Beta](https://repo.masters-masters.com/en/repos/polysemy-research/polysemy)
- [lierdakil/pandoc-crossref · ★ 1,075 · Haskell · Beta](https://repo.masters-masters.com/en/repos/lierdakil/pandoc-crossref)
- [phuhl/linux\_notification\_center · ★ 1,044 · Haskell · Beta](https://repo.masters-masters.com/en/repos/phuhl/linux_notification_center)
- [obsidiansystems/obelisk · ★ 1,041 · Haskell · Beta](https://repo.masters-masters.com/en/repos/obsidiansystems/obelisk)
- [kowainik/learn4haskell · ★ 1,041 · Haskell · Beta](https://repo.masters-masters.com/en/repos/kowainik/learn4haskell)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.