Submissions from github.com/galoisinc

		Haskell Lightweight Virtual Machine: GHC Running on Xen (github.com/galoisinc)
		3 points by runeks on July 9, 2022 \| past
		Reopt: tool for recompiling compiled code to do enhanced optimizations (github.com/galoisinc)
		2 points by ingve on Aug 1, 2018 \| past
		A Haskell implementation of the Tor protocol (github.com/galoisinc)
		15 points by lelf on Nov 18, 2015 \| past \| 1 comment
		HaNS: The haskell network stack (github.com/galoisinc)
		8 points by luu on May 16, 2015 \| past \| 1 comment
		HaLVM: Haskell Lightweight Virtual Machine (github.com/galoisinc)
		2 points by psibi on May 15, 2014 \| past
		Lightweight Haskell VM (github.com/galoisinc)
		4 points by LukeHoersten on Feb 28, 2014 \| past