{"id":13647059,"url":"https://github.com/GaloisInc/HaLVM","last_synced_at":"2025-04-21T21:32:27.504Z","repository":{"id":2866136,"uuid":"3871325","full_name":"GaloisInc/HaLVM","owner":"GaloisInc","description":"The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen","archived":true,"fork":false,"pushed_at":"2018-12-06T17:24:40.000Z","size":4182,"stargazers_count":1048,"open_issues_count":37,"forks_count":88,"subscribers_count":84,"default_branch":"master","last_synced_at":"2024-09-26T22:01:23.820Z","etag":null,"topics":["halvm","haskell","lightweight-virtual-machines","xen","xen-hypervisor"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/GaloisInc.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2012-03-29T22:39:16.000Z","updated_at":"2024-08-20T01:36:36.000Z","dependencies_parsed_at":"2022-08-06T13:00:26.277Z","dependency_job_id":null,"html_url":"https://github.com/GaloisInc/HaLVM","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FHaLVM","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FHaLVM/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FHaLVM/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FHaLVM/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/GaloisInc","download_url":"https://codeload.github.com/GaloisInc/HaLVM/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":223880426,"owners_count":17219120,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["halvm","haskell","lightweight-virtual-machines","xen","xen-hypervisor"],"created_at":"2024-08-02T01:03:19.430Z","updated_at":"2024-11-09T20:30:59.990Z","avatar_url":"https://github.com/GaloisInc.png","language":"Haskell","funding_links":[],"categories":["Haskell"],"sub_categories":[],"readme":"The Haskell Lightweight Virtual Machine (HALVM) Source Archive\n==============================================================\n\n\u003e The HaLVM is (C) 2008 Galois, Inc., and distributed under a standard,\n\u003e three-clause BSD license. Please see the file LICENSE, distributed with\n\u003e this software, for specific terms and conditions.\n\n1. What is the HaLVM?\n---------------------\n\nThe Haskell Lightweight Virtual Machine, or HaLVM, is a port of the Glasgow\nHaskell Compiler toolsuite to enable developers to write high-level, lightweight\nvirtual machines that can run directly on the Xen hypervisor.\n\nWhile Galois initially designed the HaLVM to allow for quick and easy\nprototyping of operating systems components, the HaLVM has grown over time to\nallow for a much wider variety of use cases. When connected with the appropriate\nlibraries, the HaLVM can, for example, operate as a network appliance.\n\nWriting for the Haskell Lightweight Virtual Machine is just like writing\nnormal Haskell, and many pure Haskell libraries port to the HaLVM with little\nor no difficulty. In fact, we include the standard\n[Haskell Cabal toolset](http://www.haskell.org/cabal/) in order to more easily\nfacilitate the integration of outside Haskell libraries. However, instead of\nrunning on top of a typical operating system, HaLVM programs run at a very low\nlevel, directly on the Xen hypervisor. This allows for very lightweight, single\npurpose Xen domains with minimal resource requirements.\n\n2. Getting and Building the HaLVM\n---------------------------------\n\nFor those who want to set up a development environment and maybe contribute to HaLVM, please see [HACKING.md](HACKING.md).\n\nIn addition, you might want to check out Darrin Eden's build system,\navailable on GitHub:\n\n    https://github.com/dje/halvm-test\n\nIt may provide some information that you'd find useful, or may automate portions of this process for you.\n\n\n3. Where To Look Next\n---------------------\n\nThe HaLVM comes with a number of examples / test cases, located in the folder\n`examples`. We suggest taking a look at these to see a wide variety of HaLVM\nprograms you might use as a starting point.\n\nFurther information about using the HaLVM is available on the HaLVM wiki.\nDevelopers interested in improving the HaLVM should also take a look at the\ncurrent list of HaLVM bugs, and submit any new feature requests to the\nHaLVM bug system.\n\n4. How To Contact Us\n--------------------\n\nThe HaLVM is a proud member of the [unikernel.org](http://unikernel.org)\ncommunity. If you have any questions, suggestions, or comments about the HaLVM,\nwe suggest participation in [devel.unikernel.org](https://devel.unikernel.org),\na multi-unikernel developer's message board.\n\nIf you have bugs you would like to file or patches you'd like to send, we'd\nstrongly prefer you utilize GitHub's interfaces for both these functions. Please\nsee GitHub for more information.\n\nThat's all, and enjoy using the HaLVM!\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGaloisInc%2FHaLVM","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FGaloisInc%2FHaLVM","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FGaloisInc%2FHaLVM/lists"}