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

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 465 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 519 repositories
  • grease Public

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

    GaloisInc/grease’s past year of commit activity
    Haskell 104 BSD-3-Clause 5 61 0 Updated Apr 16, 2025
  • cryptol-specs Public

    Specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs’s past year of commit activity
    TeX 40 BSD-3-Clause 8 48 (8 issues need help) 4 Updated Apr 16, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Haskell 712 43 189 (1 issue needs help) 3 Updated Apr 16, 2025
  • cn Public Forked from rems-project/cn

    CN separation logic refinement type system for C

    GaloisInc/cn’s past year of commit activity
    OCaml 0 12 0 0 Updated Apr 16, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,153 BSD-3-Clause 123 238 13 Updated Apr 16, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 220 BSD-3-Clause 20 80 1 Updated Apr 16, 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 4 0 Updated Apr 16, 2025
  • jolt Public Forked from a16z/jolt

    The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

    GaloisInc/jolt’s past year of commit activity
    Rust 0 MIT 225 0 0 Updated Apr 16, 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 19 10 Updated Apr 15, 2025
  • 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 2 65 0 0 Updated Apr 14, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…