Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.1k 124

  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 690 42

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 445 63

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 396 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 307 25

Repositories

Showing 10 of 514 repositories
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 445 BSD-3-Clause 63 422 21 Updated Jan 15, 2025
  • stubs Public

    Simple language for defining stub function semantics for binary analysis

    GaloisInc/stubs’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 10 0 Updated Jan 14, 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 5 BSD-3-Clause 0 62 3 Updated Jan 11, 2025
  • pate Public

    Patches Assured up to Trace Equivalence

    GaloisInc/pate’s past year of commit activity
    Haskell 14 3 24 6 Updated Jan 10, 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 4 BSD-3-Clause 0 0 0 Updated Jan 10, 2025
  • language-rust Public Forked from harpocrates/language-rust

    Parser and pretty-printer for the Rust language

    GaloisInc/language-rust’s past year of commit activity
    Haskell 1 BSD-3-Clause 18 2 0 Updated Jan 10, 2025
  • cryptol-specs Public

    A central repository for specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs’s past year of commit activity
    TeX 38 BSD-3-Clause 7 47 (10 issues need help) 6 Updated Jan 10, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,137 BSD-3-Clause 124 238 13 Updated Jan 9, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Rust 690 42 169 (1 issue needs help) 4 Updated Jan 9, 2025
  • VERSE-OpenSUT Public

    Open System Under Test (SUT) for the VERSE demonstrator

    GaloisInc/VERSE-OpenSUT’s past year of commit activity
    C 2 BSD-3-Clause 0 41 4 Updated Jan 8, 2025
View all repositories

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy