Galois, Inc.

Popular repositories Loading

cryptol cryptol Public

Cryptol: The Language of Cryptography

Haskell 1.2k 129
HaLVM HaLVM Public archive

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Haskell 1.1k 81
crucible crucible Public

Crucible is a library for symbolic simulation of imperative programs

Haskell 751 45
saw-script saw-script Public

The SAW scripting language.

Haskell 482 78
ivory ivory Public

The Ivory EDSL

Haskell 405 28
reopt reopt Public

A tool for analyzing x86-64 binaries.

LLVM 334 30

Repositories

Tractor-Crisp Public

GaloisInc/Tractor-Crisp’s past year of commit activity

Python 1 MIT 1 0 9 Updated Dec 1, 2025
saw-script Public
The SAW scripting language.

GaloisInc/saw-script’s past year of commit activity

Haskell 482 BSD-3-Clause 78 463 8 Updated Dec 1, 2025
crucible Public
Crucible is a library for symbolic simulation of imperative programs

GaloisInc/crucible’s past year of commit activity

Haskell 751 45 211 (1 issue needs help) 10 Updated Dec 1, 2025
mir-json Public
Plugin for rustc to dump MIR in JSON format

GaloisInc/mir-json’s past year of commit activity

Rust 12 Apache-2.0 4 26 1 Updated Dec 1, 2025
Tractor-Clear Public
Tractor-Clear

GaloisInc/Tractor-Clear’s past year of commit activity

Dockerfile 0 MIT 0 0 0 Updated Dec 1, 2025
grease Public
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

GaloisInc/grease’s past year of commit activity

Haskell 125 BSD-3-Clause 8 109 5 Updated Dec 1, 2025
cryptol Public
Cryptol: The Language of Cryptography

GaloisInc/cryptol’s past year of commit activity

Haskell 1,187 BSD-3-Clause 129 252 7 Updated Nov 26, 2025
jolt Public Forked from a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

GaloisInc/jolt’s past year of commit activity

Rust 0 MIT 278 0 0 Updated Nov 26, 2025
macaw Public
Open source binary analysis tools.

GaloisInc/macaw’s past year of commit activity

Haskell 232 BSD-3-Clause 23 93 4 Updated Nov 24, 2025
zk-lean Public
zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

GaloisInc/zk-lean’s past year of commit activity

Lean 17 BSD-3-Clause 5 0 1 Updated Nov 24, 2025