Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 130

  2. HaLVM HaLVM Public archive

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

    Haskell 1.1k 84

  3. crucible crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 778 48

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 519 85

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 417 27

  6. swanky swanky Public

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

    Sieve 365 71

Repositories

Showing 10 of 548 repositories
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp's past year of commit activity
    Python 7 MIT 3 22 18 Updated Sep 30, 2026
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script's past year of commit activity
    Haskell 519 BSD-3-Clause 85 510 20 Updated Sep 29, 2026
  • daedalus Public

    The Daedalus data description language

    GaloisInc/daedalus's past year of commit activity
    Haskell 97 BSD-3-Clause 15 115 4 Updated Sep 29, 2026
  • saw-cryptol-exercises Public

    Collection of Exercises and Solutions for SAW and Cryptol

    GaloisInc/saw-cryptol-exercises's past year of commit activity
    0 BSD-3-Clause 0 0 0 Updated Sep 29, 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
    Shell 9 4 7 3 Updated Sep 29, 2026
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol's past year of commit activity
    Haskell 1,222 BSD-3-Clause 130 250 8 Updated Sep 29, 2026
  • swanky Public

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

    GaloisInc/swanky's past year of commit activity
    Sieve 365 MIT 71 9 2 Updated Sep 28, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible's past year of commit activity
    Haskell 778 BSD-3-Clause 48 225 (1 issue needs help) 8 Updated Sep 28, 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 133 BSD-3-Clause 11 137 3 Updated Sep 28, 2026
  • cryptol-specs Public

    Specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs's past year of commit activity
    TeX 53 BSD-3-Clause 15 45 (7 issues need help) 0 Updated Sep 25, 2026