Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.1k 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 703 43

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 462 69

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 397 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 312 25

Repositories

Showing 10 of 515 repositories
  • cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1,148 BSD-3-Clause 123 229 12 Updated Mar 13, 2025
  • saw-script Public

    The SAW scripting language.

    Haskell 462 BSD-3-Clause 69 415 21 Updated Mar 13, 2025
  • what4 Public

    Symbolic formula representation and solver interaction library

    Haskell 157 13 51 (5 issues need help) 2 Updated Mar 12, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Rust 703 43 183 (1 issue needs help) 4 Updated Mar 12, 2025
  • cryptol-specs Public

    A central repository for specifications of cryptographic algorithms in Cryptol

    TeX 41 BSD-3-Clause 8 46 (9 issues need help) 1 Updated Mar 11, 2025
  • mir-json Public

    Plugin for rustc to dump MIR in JSON format

    Rust 9 Apache-2.0 2 16 10 Updated Mar 11, 2025
  • VERSE-OpenSUT Public

    Open System Under Test (SUT) for the VERSE demonstrator

    C 2 BSD-3-Clause 0 32 2 Updated Mar 8, 2025
  • VERSE-Toolchain Public

    Tools for testing and verifying the safety and correctness of C programs.

    OCaml 9 BSD-3-Clause 2 66 4 Updated Mar 7, 2025
  • pono Public Forked from stanford-centaur/pono

    Pono: A flexible and extensible SMT-based model checker

    C++ 1 31 0 0 Updated Mar 7, 2025
  • parameterized-utils Public

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

    Haskell 60 BSD-3-Clause 13 23 6 Updated Mar 7, 2025
View all repositories

Most used topics

Loading…