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

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 461 69

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 397 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 311 25

Repositories

Showing 10 of 515 repositories
  • copilot-1 Public Forked from Copilot-Language/copilot

    A stream-based runtime-verification framework for generating hard real-time C code.

    GaloisInc/copilot-1’s past year of commit activity
    Haskell 1 60 0 0 Updated Feb 25, 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 20 7 Updated Feb 25, 2025
  • VERSE-Toolchain Public

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

    GaloisInc/VERSE-Toolchain’s past year of commit activity
    OCaml 8 BSD-3-Clause 1 63 3 Updated Feb 25, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,143 BSD-3-Clause 123 230 14 Updated Feb 25, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Rust 697 43 183 (1 issue needs help) 2 Updated Feb 24, 2025
  • 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
    SMT 6 1 6 2 Updated Feb 24, 2025
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 461 BSD-3-Clause 69 422 21 Updated Feb 24, 2025
  • sail Public Forked from rems-project/sail

    Sail architecture definition language

    GaloisInc/sail’s past year of commit activity
    Isabelle 1 126 0 0 Updated Feb 24, 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 2 18 8 Updated Feb 24, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 213 BSD-3-Clause 20 75 4 Updated Feb 24, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…