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 84

  3. crucible crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    Haskell 775 48

  4. saw-script saw-script Public

    The Software Analysis Workbench

    Haskell 518 85

  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 364 71

Repositories

Showing 10 of 548 repositories
  • saw-script Public

    The Software Analysis Workbench

    GaloisInc/saw-script's past year of commit activity
    Haskell 518 BSD-3-Clause 85 506 20 Updated Sep 19, 2026
  • fvspec Public

    Benchmark suite for helping evaluate how AIs perform on formal verification related tasks

    GaloisInc/fvspec's past year of commit activity
    Python 7 Apache-2.0 2 0 21 Updated Sep 19, 2026
  • swanky Public

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

    GaloisInc/swanky's past year of commit activity
    Sieve 364 MIT 71 9 2 Updated Sep 18, 2026
  • daedalus Public

    The Daedalus data description language

    GaloisInc/daedalus's past year of commit activity
    Haskell 97 BSD-3-Clause 14 119 4 Updated Sep 18, 2026
  • VCV-io Public Forked from Verified-zkEVM/VCVio

    Formalized Cryptography Proofs in Lean 4

    GaloisInc/VCV-io's past year of commit activity
    Lean 0 Apache-2.0 51 0 0 Updated Sep 18, 2026
  • crux Public

    Crux is a tool for improving the assurance of software using symbolic testing.

    GaloisInc/crux's past year of commit activity
    1 0 8 0 Updated Sep 17, 2026
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible's past year of commit activity
    Haskell 775 BSD-3-Clause 48 225 (1 issue needs help) 10 Updated Sep 17, 2026
  • Tractor-Crisp Public
    GaloisInc/Tractor-Crisp's past year of commit activity
    Python 7 MIT 3 21 18 Updated Sep 17, 2026
  • mir-json Public

    Plugin for rustc to dump MIR in JSON format

    GaloisInc/mir-json's past year of commit activity
    Rust 15 Apache-2.0 5 35 5 Updated Sep 17, 2026
  • saw-cryptol-exercises Public

    Collection of Exercises and Solutions for SAW and Cryptol

    GaloisInc/saw-cryptol-exercises's past year of commit activity
    0 BSD-3-Clause 0 0 0 Updated Sep 16, 2026
View all repositories