Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 129

  2. HaLVM HaLVM Public archive

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

    Haskell 1.1k 82

  3. crucible crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 751 45

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 488 79

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 406 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 337 30

Repositories

Showing 10 of 531 repositories
  • saw-suite Public
    GaloisInc/saw-suite’s past year of commit activity
    Dockerfile 0 0 1 1 Updated Jan 16, 2026
  • 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 126 BSD-3-Clause 8 108 10 Updated Jan 16, 2026
  • 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 18 BSD-3-Clause 5 0 0 Updated Jan 16, 2026
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script’s past year of commit activity
    Haskell 488 BSD-3-Clause 79 483 10 Updated Jan 16, 2026
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp’s past year of commit activity
    Python 2 MIT 1 0 6 Updated Jan 16, 2026
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,195 BSD-3-Clause 129 251 9 Updated Jan 16, 2026
  • what4-solvers Public

    Multi-platform binary creation for solvers of the versions most suitable for use with What4

    GaloisInc/what4-solvers’s past year of commit activity
    SMT 8 1 8 2 Updated Jan 16, 2026
  • swanky Public

    A suite of rust libraries for secure multi-party computation

    GaloisInc/swanky’s past year of commit activity
    Rust 336 MIT 61 11 0 Updated Jan 16, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Haskell 751 45 212 (1 issue needs help) 11 Updated Jan 16, 2026
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 248 BSD-3-Clause 24 93 4 Updated Jan 15, 2026
View all repositories