Skip to content

@GaloisInc Galois, Inc.

Change the repository type filter

All

    Repositories list

    527 repositories

    • cryptol-specs

      Public
      Specifications of cryptographic algorithms in Cryptol
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •10•41•47•2•Updated Aug 15, 2025Aug 15, 2025

    • grease

      Public
      CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
      haskellhaskell-librarysymbolic-executionbinary-analysisprogram-analysisghidra-pluginunder-constrained-symbolic-execution
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•120•107•5•Updated Aug 15, 2025Aug 15, 2025

    • saw-script

      Public
      The SAW scripting language.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •77•475•455•6•Updated Aug 15, 2025Aug 15, 2025

    • cryptol

      Public
      Cryptol: The Language of Cryptography
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •127•1.2k•244•11•Updated Aug 15, 2025Aug 15, 2025

    • parameterized-utils

      Public
      A set of utilities for using indexed types including containers, equality, and comparison.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •13•60•25•7•Updated Aug 14, 2025Aug 14, 2025

    • sail-riscv

      Public
      Sail RISC-V model
      C
      •
      Other
      •223•0•0•1•Updated Aug 14, 2025Aug 14, 2025

    • saw-suite

      Public
      0•0•1•0•Updated Aug 14, 2025Aug 14, 2025

    • what4

      Public
      Symbolic formula representation and solver interaction library
      Haskell
      •13•166•51•4•Updated Aug 14, 2025Aug 14, 2025

    • copilot-1

      Public
      A stream-based runtime-verification framework for generating hard real-time C code.
      Haskell
      •70•2•0•0•Updated Aug 14, 2025Aug 14, 2025

    • stubs

      Public
      Simple language for defining stub function semantics for binary analysis
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•14•0•Updated Aug 14, 2025Aug 14, 2025

    • .github

      Public
      A collection of reusable GitHub actions and workflows
      haskellcontinuous-integrationgithub-actionsreusable-workflow
      2•0•3•1•Updated Aug 14, 2025Aug 14, 2025

    • jolt

      Public
      The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
      Rust
      •
      MIT License
      •249•0•0•0•Updated Aug 14, 2025Aug 14, 2025

    • semmc

      Public
      Stratified synthesis for learning machine code instruction semantics
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •8•37•13•0•Updated Aug 13, 2025Aug 13, 2025

    • crucible

      Public
      Crucible is a library for symbolic simulation of imperative programs
      Haskell
      •46•737•184•4•Updated Aug 13, 2025Aug 13, 2025

    • macaw

      Public
      Open source binary analysis tools.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •22•228•91•0•Updated Aug 13, 2025Aug 13, 2025

    • sail

      Public
      Sail architecture definition language
      Isabelle
      •
      Other
      •140•1•0•0•Updated Aug 12, 2025Aug 12, 2025

    • swanky

      Public
      A suite of rust libraries for secure multi-party computation
      Rust
      •
      MIT License
      •60•318•11•0•Updated Aug 12, 2025Aug 12, 2025

    • dismantle

      Public
      A library of assemblers and disassemblers derived from LLVM TableGen data
      HTML
      •3•25•9•0•Updated Aug 12, 2025Aug 12, 2025

    • grift

      Public
      Galois RISC-V ISA Formal Tools
      coverageformal-methodsrisc-vformal-specificationsimulationcoverage-analysis
      Haskell
      •
      GNU Affero General Public License v3.0
      •9•60•2•1•Updated Aug 12, 2025Aug 12, 2025

    • bv-sized-float

      Public
      Floating-point operations for bv-sized
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•2•0•Updated Aug 11, 2025Aug 11, 2025

    • llvm-pretty-bc-parser

      Public
      Parser for the llvm bitcode format
      LLVM
      •
      Other
      •7•59•65•5•Updated Aug 11, 2025Aug 11, 2025

    • blt

      Public
      Lattice-based integer linear programming solver
      haskelllinear-programmingdecision-procedurelattice-reductionsolverhaskell-bindingsilpglpkhaskell-apintl
      C++
      •
      MIT License
      •10•65•1•0•Updated Aug 11, 2025Aug 11, 2025

    • abcBridge

      Public
      Haskell bindings for ABC
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•5•5•0•Updated Aug 11, 2025Aug 11, 2025

    • lumberjack

      Public
      Helps you trek through your code forest and generate logs.
      Haskell
      •
      Other
      •1•9•1•0•Updated Aug 11, 2025Aug 11, 2025

    • llvm-pretty

      Public
      An llvm pretty printer inspired by the haskell llvm binding
      Haskell
      •
      Other
      •16•30•28•4•Updated Aug 10, 2025Aug 10, 2025

    • sxt-dory

      Public
      Rust
      •
      Apache License 2.0
      •5•0•0•0•Updated Aug 8, 2025Aug 8, 2025

    • mir-json

      Public
      Plugin for rustc to dump MIR in JSON format
      Rust
      •
      Apache License 2.0
      •3•9•25•1•Updated Aug 6, 2025Aug 6, 2025

    • elf-edit

      Public
      The elf-edit library provides a datatype suitable for reading and writing Elf files.
      Haskell
      •
      Other
      •6•39•8•0•Updated Aug 5, 2025Aug 5, 2025

    • s2n

      Public
      s2n : an implementation of the TLS/SSL protocols
      C
      •
      Apache License 2.0
      •732•6•0•0•Updated Aug 1, 2025Aug 1, 2025

    • ELFSage

      Public
      A toy ELF parser/validator
      Lean
      •
      MIT License
      •6•1•0•0•Updated Jul 29, 2025Jul 29, 2025