6
Repos
1.3k
Stars
108
Forks
65
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (6)
HaLVM
GaloisInc/HaLVM
Haskell
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
1.1k
83
grease
GaloisInc/grease
Haskell
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
134
11
blt
GaloisInc/blt
C++
Lattice-based integer linear programming solver
66
9
surveyor
GaloisInc/surveyor
Haskell
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
20
2
LIMA
GaloisInc/LIMA
Haskell
LIMA: Language for Integrated Modeling and Analysis
11
2
mmc-paper
GaloisInc/mmc-paper
TeX
Modular Model Checking Paper
4
1