10000 Galois, Inc. · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 125

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

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 467 71

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 397 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 319 25

Repositories

Showing 10 of 520 repositories
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 467 BSD-3-Clause 71 421 5 Updated May 6, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Haskell 717 43 188 (1 issue needs help) 1 Updated May 6, 2025
  • VERSE-OpenSUT Public

    Open System Under Test (SUT) for the VERSE demonstrator

    GaloisInc/VERSE-OpenSUT’s past year of commit activity
    C 3 BSD-3-Clause 0 28 4 Updated May 5, 2025
  • 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 108 BSD-3-Clause 5 65 (1 issue needs help) 0 Updated May 5, 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 237 0 0 Updated May 5, 2025
  • zk-lean Public

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

    GaloisInc/zk-lean’s past year of commit activity
    Lean 11 BSD-3-Clause 1 0 0 Updated May 5, 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 10 BSD-3-Clause 2 66 6 Updated May 5, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 221 BSD-3-Clause 20 79 1 Updated May 2, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,154 BSD-3-Clause 125 236 6 Updated May 2, 2025
  • oughta Public

    A Haskell library for testing programs that output text

    GaloisInc/oughta’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 5 0 Updated May 2, 2025
View all repositories
0