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 756 45

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 489 79

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 409 27

  6. swanky swanky Public

    A suite of Rust libraries for secure multi-party computation.

    Sieve 341 61

Repositories

Showing 10 of 532 repositories
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script’s past year of commit activity
    Haskell 489 BSD-3-Clause 79 498 12 Updated Feb 20, 2026
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp’s past year of commit activity
    Python 3 MIT 1 4 5 Updated Feb 20, 2026
  • llzk-lib Public Forked from project-llzk/llzk-lib

    Library for parsing, generating, and analyzing LLZK code.

    GaloisInc/llzk-lib’s past year of commit activity
    C++ 0 Apache-2.0 9 0 0 Updated Feb 19, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Haskell 756 BSD-3-Clause 45 212 (1 issue needs help) 8 Updated Feb 19, 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 127 BSD-3-Clause 8 104 9 Updated Feb 19, 2026
  • eng Public

    Engineering assistant tool with enhanced RDE capabilities.

    GaloisInc/eng’s past year of commit activity
    Prolog 2 0 0 0 Updated Feb 19, 2026
  • zkLean Public

    zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

    GaloisInc/zkLean’s past year of commit activity
    Lean 21 BSD-3-Clause 7 0 1 Updated Feb 18, 2026
  • swanky Public

    A suite of Rust libraries for secure multi-party computation.

    GaloisInc/swanky’s past year of commit activity
    Sieve 341 MIT 61 11 0 Updated Feb 18, 2026
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,198 BSD-3-Clause 129 254 8 Updated Feb 18, 2026
  • sail Public Forked from rems-project/sail

    Sail architecture definition language

    GaloisInc/sail’s past year of commit activity
    Isabelle 2 149 0 0 Updated Feb 17, 2026
View all repositories