Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 123

  2. HaLVM HaLVM Public archive

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

    Haskell 1.1k 79

  3. crucible crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 708 43

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 463 70

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 398 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 317 25

Repositories

Showing 10 of 517 repositories
  • what4 Public

    Symbolic formula representation and solver interaction library

    Haskell 157 13 51 (5 issues need help) 4 Updated Mar 27, 2025
  • grease Public

    CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution

    Haskell 95 BSD-3-Clause 5 53 0 Updated Mar 27, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 708 43 188 (1 issue needs help) 4 Updated Mar 27, 2025
  • saw-script Public

    The SAW scripting language.

    Haskell 463 BSD-3-Clause 70 411 20 Updated Mar 27, 2025
  • language-bluespec Public
    Haskell 2 0 0 0 Updated Mar 27, 2025
  • mir-json Public

    Plugin for rustc to dump MIR in JSON format

    Rust 9 Apache-2.0 2 16 9 Updated Mar 27, 2025
  • stubs Public

    Simple language for defining stub function semantics for binary analysis

    Haskell 4 BSD-3-Clause 0 14 0 Updated Mar 27, 2025
  • bv-sized Public

    A bitvector datatype that is parameterized by the vector width.

    Haskell 6 BSD-3-Clause 4 0 2 Updated Mar 27, 2025
  • VERSE-OpenSUT Public

    Open System Under Test (SUT) for the VERSE demonstrator

    C 2 BSD-3-Clause 0 27 1 Updated Mar 27, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1,150 BSD-3-Clause 123 230 12 Updated Mar 27, 2025
View all repositories

Top languages

Loading…