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