6 ms·

- HaLVM : https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM - House: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/H

by dons 13y ago

- HaLVM : https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM - House: http://programatica.cs.pdx.edu/House/ http://programatica.cs.pdx.edu/House/ - SeL4 : http://ssrg.nicta.com.au/projects/seL4/ http://ssrg.nicta.com.au/projects/seL4/ Emphasis is on the security and verifiability typed, pure-by-default Haskell provides, over OS design.