GitHub repository: GaloisInc/HaLVM
Primary language: Haskell
Description: The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen