8000 Galois, Inc. · GitHub
[go: up one dir, main page]
Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.2k 130

  2. HaLVM HaLVM Public archive

    The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

    Haskell 1.1k 83

  3. crucible crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 781 48

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 526 86

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 417 27

  6. swanky swanky Public

    A suite of Rust libraries for secure multi-party computation.

    Sieve 366 72

Repositories

Showing 10 of 549 repositories
  • 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 Apache-2.0 353 0 2 Updated Nov 7, 2026
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp's past year of commit activity
    Python 8 MIT 3 26 24 Updated Nov 7, 2026
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script's past year of commit activity
    Haskell 526 BSD-3-Clause 86 508 14 Updated Nov 7, 2026
  • swanky Public

    A suite of Rust libraries for secure multi-party computation.

    GaloisInc/swanky's past year of commit activity
    Sieve 366 MIT 72 9 2 Updated Nov 6, 2026
  • cryptol-specs Public

    Specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs's past year of commit activity
    TeX 56 BSD-3-Clause 15 45 (7 issues need help) 2 Updated Nov 6, 2026
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol's past year of commit activity
    Haskell 1,227 BSD-3-Clause 130 247 6 Updated Nov 6, 2026
  • mir-json Public

    Plugin for rustc to dump MIR in JSON format

    GaloisInc/mir-json's past year of commit activity
    Rust 16 Apache-2.0 6 41 3 Updated Nov 5, 2026
  • llvm-pretty Public

    An llvm pretty printer inspired by the haskell llvm binding

    GaloisInc/llvm-pretty's past year of commit activity
    Haskell 33 21 25 (1 issue needs help) 7 Updated Nov 4, 2026
  • daedalus Public

    The Daedalus data description language

    GaloisInc/daedalus's past year of commit activity
    Haskell 98 BSD-3-Clause 15 119 2 Updated Nov 3, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible's past year of commit activity
    Haskell 781 BSD-3-Clause 48 225 (1 issue needs help) 6 Updated Nov 3, 2026
View all repositories
0