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

  4. saw-script saw-script Public

    The SAW scripting language.

    Haskell 460 69

  5. ivory ivory Public

    The Ivory EDSL

    Haskell 396 28

  6. reopt reopt Public

    A tool for analyzing x86-64 binaries.

    LLVM 311 25

Repositories

Showing 10 of 514 repositories
  • verse-ardupilot Public

    VERSE fork of ArduPilot/ardupilot

    GaloisInc/verse-ardupilot’s past year of commit activity
    C++ 1 GPL-3.0 1 0 1 Updated Feb 13, 2025
  • cryptol-specs Public

    A central repository for specifications of cryptographic algorithms in Cryptol

    GaloisInc/cryptol-specs’s past year of commit activity
    TeX 40 BSD-3-Clause 7 43 (8 issues need help) 2 Updated Feb 13, 2025
  • sail Public Forked from rems-project/sail

    Sail architecture definition language

    GaloisInc/sail’s past year of commit activity
    Isabelle 0 124 0 0 Updated Feb 13, 2025
  • stubs Public

    Simple language for defining stub function semantics for binary analysis

    GaloisInc/stubs’s past year of commit activity
    Haskell 2 BSD-3-Clause 0 13 1 Updated Feb 13, 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 60 5 Updated Feb 13, 2025
  • portable-executable Public

    Tools for working with the Windows Portable Executable (PE) file format

    GaloisInc/portable-executable’s past year of commit activity
    Haskell 2 1 1 0 Updated Feb 13, 2025
  • dwarf Public Forked from Peaker/dwarf

    Haskell library for parsing DWARF object format

    GaloisInc/dwarf’s past year of commit activity
    Haskell 2 9 3 0 Updated Feb 13, 2025
  • cryptol Public

    Cryptol: The Language of Cryptography

    GaloisInc/cryptol’s past year of commit activity
    Haskell 1,139 BSD-3-Clause 123 240 13 Updated Feb 13, 2025
  • macaw Public

    Open source binary analysis tools.

    GaloisInc/macaw’s past year of commit activity
    Haskell 211 BSD-3-Clause 20 73 4 Updated Feb 12, 2025
  • parameterized-utils Public

    A set of utilities for using indexed types including containers, equality, and comparison.

    GaloisInc/parameterized-utils’s past year of commit activity
    Haskell 60 BSD-3-Clause 13 20 7 Updated Feb 13, 2025
View all repositories

Top languages

Loading…