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