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 779 48

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 522 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 366 71

Repositories

Showing 10 of 548 repositories
  • semmc Public

    Stratified synthesis for learning machine code instruction semantics

    GaloisInc/semmc's past year of commit activity
    Haskell 40 BSD-3-Clause 9 15 0 Updated Oct 11, 2026
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw's past year of commit activity
    Haskell 257 BSD-3-Clause 26 108 2 Updated Oct 11, 2026
  • dismantle Public

    A library of assemblers and disassemblers derived from LLVM TableGen data

    GaloisInc/dismantle's past year of commit activity
    HTML 26 3 12 0 Updated Oct 11, 2026
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp's past year of commit activity
    Python 7 MIT 3 21 21 Updated Oct 10, 2026
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script's past year of commit activity
    Haskell 522 BSD-3-Clause 85 503 16 Updated Oct 10, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible's past year of commit activity
    Haskell 779 BSD-3-Clause 48 225 (1 issue needs help) 7 Updated Oct 9, 2026
  • daedalus Public

    The Daedalus data description language

    GaloisInc/daedalus's past year of commit activity
    Haskell 97 BSD-3-Clause 15 116 7 Updated Oct 9, 2026
  • llvm-pretty Public

    An llvm pretty printer inspired by the haskell llvm binding

    GaloisInc/llvm-pretty's past year of commit activity
    Haskell 33 20 24 (1 issue needs help) 7 Updated Oct 9, 2026
  • saw-suite Public
    GaloisInc/saw-suite's past year of commit activity
    Dockerfile 0 1 2 0 Updated Oct 9, 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 Oct 8, 2026
View all repositories