Hacker GitHub

← All repos

GaloisInc/HaLVM

View on GitHub ↗ ★ 1,069 Haskell archived

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

25 mentions on Hacker News by 21 people: 3 stories, 22 comments · first 2012-08-17 · latest 2026-03-29

Mentions per year 25 mentions · busiest year 2014 (7)
20082026
AllStoriesComments NewestTopOldest
  1. …operating systems in Haskell: House, 2005: https://programatica.cs.pdx.edu//House/ HalVM, 2008: https://github.com/GaloisInc/HaLVM also HalNS network stack 2011: https://mail.haskell.org/pipermail/haskell-cafe/2011-May/092...
    comment by jonjacky · 2026-03-29 · in Writing an OS in Haskell
  2. Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore. [0] https://github.com/GaloisInc/HaLVM
    comment by goy · 2023-11-24 · in Mirage – A programming framework for building type-safe, modular systems
  3. Haskell: https://en.wikipedia.org/wiki/House_(operating_system) Haskell: https://github.com/GaloisInc/HaLVM OCaml: https://mirage.io/ ML: http://dspace.mit.edu/handle/1721.1/47545 Lisp: In the 1970s and 1980s there were Lisp Machines with…
    comment by jonjacky · 2022-10-22 · in Ask HN: Operating Systems built with functional languages?
  4. ▲ 3
    Haskell Lightweight Virtual Machine: GHC Running on Xen
    story by runeks · 2022-07-09 · 0 comments
  5. …mentioned unikernel. There's a Haskell unikernel whose development began more than a decade ago: https://github.com/GaloisInc/HaLVM
    comment by kccqzy · 2020-06-20 · in Linear types are merged in GHC
  6. …that they could be small enough to be completely written in higher languages. With something like https://github.com/GaloisInc/HaLVM you could bring to bear formal methods in more straight forward ways. This of course left the host still…
    comment by kasey_junk · 2017-07-10 · in Unikernels are secure
  7. …projects, including kernel/OS level projects that you don't mention: HaLVM, Haskell Unikernels - https://github.com/GaloisInc/HaLVM The specification model of the sel4 microkernel - https://github.com/seL4/l4v/tree/master/spec/haskell…
    comment by Oribi · 2017-05-04 · in I tried Haskell for 5 years
  8. …). And more recently Mirage ( https://mirage.io/ ) and HaLVm ( https://github.com/GaloisInc/HaLVM ) (I assume you already know how to program. Otherwise, brush up on that as step 0. C is still the canonical choice for OS
    comment by eru · 2016-03-27 · in The cost of a system call [pdf]
  9. …of work, please do share your experiences there! [1] https://galois.com/project/cyberchaff/ [2] https://github.com/GaloisInc/HaLVM [3] http://unikernel.org
    comment by amirmc · 2015-12-31 · in Ask HN: New Year's resolution – What projects are you planning to start in 2016?
  10. …would be a mini VM/container image. And 5MB sure is mini! Once again, thanks FPComplete! 1: https://github.com/GaloisInc/HaLVM 2: https://github.com/GaloisInc/HaLVM/issues/43
    comment by cies · 2015-05-06 · in Haskell Web Server in a 5MB Docker Image
  11. Interesting, reminds me of HaLVM (Haskell on Xen) and Mirage OS (OCaml): - https://github.com/galoisinc/halvm - http://www.openmirage.org/
    comment by tlo · 2015-04-28 · in Python without an operating system
  12. See also https://github.com/galoisinc/halvm and http://openmirage.org
    comment by wyager · 2015-04-23 · in OSv, a new operating system for the cloud
  13. HaLVM is similar sort of project which uses the Haskell VM. https://github.com/GaloisInc/HaLVM
    comment by Quequau · 2015-01-04 · in OS Technologies to Watch
  14. …or http://www.se-radio.net/2014/05/episode-204-anil-madhavapedd... (audio only) [3] https://github.com/GaloisInc/HaLVM
    comment by sgrove · 2014-09-29 · in Rob Pike: Reflections on Window Systems (2008) [video]
  15. for Haskell, there's HaLVM: https://github.com/GaloisInc/HaLVM for Erlang, there's ErlangOnXen: http://try.erlangonxen.org/zerg There are others, if you care to search for them.
    comment by toolslive · 2014-07-30 · in My First Unikernel
  16. Haskell: https://github.com/GaloisInc/HaLVM
    comment by andolanra · 2014-06-28 · in Runtime.JS – Operating system kernel built on V8
  17. ▲ 2
    HaLVM: Haskell Lightweight Virtual Machine
    story by psibi · 2014-05-15 · 0 comments
  18. Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM
    comment by andolanra · 2014-03-17 · in Why OCaml, Why Now?
  19. ▲ 4
    Lightweight Haskell VM
    story by LukeHoersten · 2014-02-28 · 0 comments
  20. - HaLVM : https://github.com/GaloisInc/HaLVM - House: http://programatica.cs.pdx.edu/House/ - SeL4 : http://ssrg.nicta.com.au/projects/seL4/ Emphasis is on the security and verifiability typed, pure-by-default Haskell provides, over OS…
    comment by dons · 2014-02-03 · in An immutable operating system
  21. Also https://github.com/GaloisInc/HaLVM (Haskell). Though I think it doesn't handle parallelism.
    comment by mercurial · 2013-09-19 · in Rethinking the guest operating system
  22. …the vm+server. Edit: I wonder if the numbers would be similar if the example was done with HaLVM ( https://github.com/GaloisInc/HaLVM ).
    comment by thu · 2013-02-19 · in Zerg demo – Xen instance spawned for each web request
  23. HaLVM. https://github.com/GaloisInc/HaLVM
    comment by dons · 2013-01-18 · in Go concurrency patterns
  24. …there is a summary here[1] and the source is on GitHub[2]. [1]: http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM
    comment by dbaupp · 2012-08-17 · in Cloud Haskell on Raspberry Pi
  25. …port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM
    comment by dons · 2012-08-17 · in Cloud Haskell on Raspberry Pi