Skip to content
@GaloisInc

Galois, Inc.

Popular repositories Loading

  1. cryptol cryptol Public

    Cryptol: The Language of Cryptography

    Haskell 1.1k 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

    Rust 693 42

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 446 63

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 396 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 309 25

Repositories

Showing 10 of 515 repositories
  • sail Public Forked from rems-project/sail

    Sail architecture definition language

    GaloisInc/sail’s past year of commit activity
    Isabelle 0 123 0 0 Updated Feb 3, 2025
  • saw-script Public

    The SAW scripting language.

    GaloisInc/saw-script’s past year of commit activity
    Haskell 446 BSD-3-Clause 63 427 22 Updated Feb 3, 2025
  • cryptol-specs Public

    A central repository for specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs’s past year of commit activity
    TeX 39 BSD-3-Clause 7 40 (7 issues need help) 4 Updated Feb 3, 2025
  • entree-specs Public
    GaloisInc/entree-specs’s past year of commit activity
    Coq 2 BSD-3-Clause 0 3 0 Updated Feb 3, 2025
  • crucible Public

    Crucible is a library for symbolic simulation of imperative programs

    GaloisInc/crucible’s past year of commit activity
    Rust 693 42 172 (1 issue needs help) 5 Updated Feb 3, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,137 BSD-3-Clause 123 236 12 Updated Feb 3, 2025
  • what4 Public

    Symbolic formula representation and solver interaction library

    GaloisInc/what4’s past year of commit activity
    Haskell 156 13 41 (1 issue needs help) 3 Updated Feb 3, 2025
  • llvm-pretty-bc-parser Public

    Parser for the llvm bitcode format

    GaloisInc/llvm-pretty-bc-parser’s past year of commit activity
    LLVM 60 7 58 4 Updated Feb 3, 2025
  • yapall Public

    A precise and scalable pointer analysis for LLVM, written in Ascent

    GaloisInc/yapall’s past year of commit activity
    C 62 BSD-3-Clause 3 14 6 Updated Feb 1, 2025
  • dlkoopman Public

    A general-purpose Python package for Koopman theory using deep learning.

    GaloisInc/dlkoopman’s past year of commit activity
    Python 91 MIT 13 0 0 Updated Feb 1, 2025
View all repositories

Most used topics

Loading…