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

    Rust 707 43

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 462 69

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 398 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 317 25

Repositories

Showing 10 of 517 repositories
  • saw-script Public

    The SAW scripting language.

    Haskell 462 BSD-3-Clause 69 411 20 Updated Mar 26, 2025
  • daedalus Public

    The Daedalus data description language

    Haskell 69 BSD-3-Clause 11 103 8 Updated Mar 25, 2025
  • what4 Public

    Symbolic formula representation and solver interaction library

    Haskell 157 13 50 (5 issues need help) 2 Updated Mar 25, 2025
  • grease Public

    CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution

    Haskell 90 BSD-3-Clause 5 54 1 Updated Mar 25, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Rust 707 43 191 (1 issue needs help) 11 Updated Mar 25, 2025
  • swanky Public

    A suite of rust libraries for secure multi-party computation

    Rust 295 MIT 61 9 0 Updated Mar 25, 2025
  • cryptol-specs Public

    A central repository for specifications of cryptographic algorithms in Cryptol

    TeX 41 BSD-3-Clause 8 47 (9 issues need help) 5 Updated Mar 25, 2025
  • proverbot9001 Public Forked from UCSD-PL/proverbot9001
    Coq 0 GPL-3.0 19 0 0 Updated Mar 24, 2025
  • zk-lean Public

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

    Lean 9 BSD-3-Clause 0 0 0 Updated Mar 24, 2025
  • macaw Public

    Open source binary analysis tools.

    Haskell 218 BSD-3-Clause 20 77 1 Updated Mar 24, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…