The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Repositories
GaloisInc repositories
GaloisInc/HaLVMHaskell
(1,065 stars) (83 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/cryptolHaskell
Cryptol: The Language of Cryptography
(1,203 stars) (129 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/daedalusHaskell
The Daedalus data description language
(95 stars) (13 forks) (0 indexed issues) (0 open good first issues)
A library of assemblers and disassemblers derived from LLVM TableGen data
(26 stars) (3 forks) (0 indexed issues) (0 open good first issues)
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
(0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/lustreHaskell
A parser and AST for Lustre
(12 stars) (6 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/lustre-wHaskell
A parser and AST for Lustre
(0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
GaloisInc/mctraceHaskell
An implementation of DTrace for machine code
(6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/phixpointHaskell
A library for computing fixpoints over lattices in Haskell
(0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
GaloisInc/renovate-pateHaskell
A library for binary analysis and rewriting
(1 star) (0 forks) (0 indexed issues) (0 open good first issues)
Examples and easy setup for trying DaeDaLus
(1 star) (0 forks) (0 indexed issues) (0 open good first issues)