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 711 43

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 463 71

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 397 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 317 25

Repositories

Showing 10 of 518 repositories
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 463 BSD-3-Clause 71 410 12 Updated Apr 9, 2025
  • bv-sized Public

    A bitvector datatype that is parameterized by the vector width.

    GaloisInc/bv-sized’s past year of commit activity
    Haskell 6 BSD-3-Clause 4 0 3 Updated Apr 9, 2025
  • parameterized-utils Public

    A set of utilities for using indexed types including containers, equality, and comparison.

    GaloisInc/parameterized-utils’s past year of commit activity
    Haskell 60 BSD-3-Clause 13 25 8 Updated Apr 9, 2025
  • mir-json Public

    Plugin for rustc to dump MIR in JSON format

    GaloisInc/mir-json’s past year of commit activity
    Rust 9 Apache-2.0 3 20 9 Updated Apr 9, 2025
  • .github Public

    A collection of github actions and other tooling designed to reduce repetition and make adding pipelines easier.

    GaloisInc/.github’s past year of commit activity
    0 2 5 0 Updated Apr 9, 2025
  • sail-riscv Public Forked from riscv/sail-riscv

    Sail RISC-V model

    GaloisInc/sail-riscv’s past year of commit activity
    C 0 199 0 1 Updated Apr 9, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 219 BSD-3-Clause 20 80 2 Updated Apr 9, 2025
  • asl-translator Public

    Semantic interpretation the ARM Specification Language using symbolic execution

    GaloisInc/asl-translator’s past year of commit activity
    ASL 5 BSD-3-Clause 0 15 0 Updated Apr 9, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,151 BSD-3-Clause 123 236 12 Updated Apr 9, 2025
  • swanky Public

    A suite of rust libraries for secure multi-party computation

    GaloisInc/swanky’s past year of commit activity
    Rust 302 MIT 61 11 0 Updated Apr 9, 2025
View all repositories