Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 128

  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 743 46

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 478 77

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 402 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 325 29

Repositories

Showing 10 of 529 repositories
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 478 BSD-3-Clause 77 470 11 Updated Sep 18, 2025
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 17, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,176 BSD-3-Clause 128 245 6 Updated Sep 17, 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 254 0 0 Updated Sep 17, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 231 BSD-3-Clause 23 92 2 Updated Sep 17, 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 122 BSD-3-Clause 8 107 2 Updated Sep 17, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Haskell 743 46 190 (1 issue needs help) 5 Updated Sep 16, 2025
  • oughta Public

    A Haskell library for testing programs that output text

    GaloisInc/oughta’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 6 0 Updated Sep 16, 2025
  • cryptol-specs Public

    Specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs’s past year of commit activity
    TeX 42 BSD-3-Clause 10 47 (8 issues need help) 3 Updated Sep 15, 2025
  • alex-tools Public

    A Haskell library making it easier to write Alex lexers.

    GaloisInc/alex-tools’s past year of commit activity
    Haskell 12 ISC 5 0 0 Updated Sep 15, 2025
View all repositories