Skip to content

@GaloisInc Galois, Inc.

Change the repository type filter

All

    Repositories list

    534 repositories

    • saw-script

      Public
      The Software Analysis Workbench
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •81•498•508•18•Updated May 8, 2026May 8, 2026

    • cryptol

      Public
      Cryptol: The Language of Cryptography
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •129•1.2k•257•11•Updated May 8, 2026May 8, 2026

    • macaw

      Public
      Open source binary analysis tools.
      armx86-64reverse-engineering
      armx86-64reverse-engineeringhaskell-librarysymbolic-executionriscvbinary-analysisppc
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •25•250•105•3•Updated May 8, 2026May 8, 2026

    • 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•26•7•Updated May 8, 2026May 8, 2026

    • grease

      Public
      CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
      haskellhaskell-librarysymbolic-execution
      haskellhaskell-librarysymbolic-executionbinary-analysisprogram-analysisghidra-pluginunder-constrained-symbolic-execution
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •10•131•138•6•Updated May 8, 2026May 8, 2026

    • cryptol-specs

      Public
      Specifications of cryptographic algorithms in Cryptol
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •13•47•45•2•Updated May 8, 2026May 8, 2026

    • swanky

      Public
      A suite of Rust libraries for secure multi-party computation.
      Sieve
      •
      MIT License
      •66•351•9•0•Updated May 7, 2026May 7, 2026

    • copilot-1

      Public
      A stream-based runtime-verification framework for generating hard real-time C code.
      Haskell
      •75•2•0•0•Updated May 7, 2026May 7, 2026

    • cn

      Public
      CN separation logic refinement type system for C
      OCaml
      •
      Other
      •21•0•0•0•Updated May 7, 2026May 7, 2026

    • crucible

      Public
      Crucible is a library for symbolic simulation of imperative programs
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •47•762•219•4•Updated May 7, 2026May 7, 2026

    • Tractor-Crisp

      Public
      Python
      •
      MIT License
      •1•5•14•9•Updated May 6, 2026May 6, 2026

    • semmc

      Public
      Stratified synthesis for learning machine code instruction semantics
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •9•41•15•1•Updated May 6, 2026May 6, 2026

    • mir-json

      Public
      Plugin for rustc to dump MIR in JSON format
      Rust
      •
      Apache License 2.0
      •3•13•33•1•Updated May 6, 2026May 6, 2026

    • what4

      Public
      Symbolic formula representation and solver interaction library
      Haskell
      •14•177•59•2•Updated May 6, 2026May 6, 2026

    • grift

      Public
      Galois RISC-V ISA Formal Tools
      coveragesimulationformal-methods
      coveragesimulationformal-methodsrisc-vformal-specificationcoverage-analysis
      Haskell
      •
      GNU Affero General Public License v3.0
      •9•62•2•1•Updated May 6, 2026May 6, 2026

    • bv-sized-float

      Public
      Floating-point operations for bv-sized
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•2•0•Updated May 5, 2026May 5, 2026

    • language-sally

      Public
      AST and pretty printer for the Sally input language
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•6•0•0•Updated May 5, 2026May 5, 2026

    • llvm-pretty-bc-parser

      Public
      Parser for the llvm bitcode format
      LLVM
      •
      Other
      •8•61•57•7•Updated May 5, 2026May 5, 2026

    • asl-translator

      Public
      Semantic interpretation the ARM Specification Language using symbolic execution
      ASL
      •
      BSD 3-Clause "New" or "Revised" License
      •0•6•15•0•Updated May 5, 2026May 5, 2026

    • dismantle

      Public
      A library of assemblers and disassemblers derived from LLVM TableGen data
      HTML
      •3•26•12•0•Updated May 5, 2026May 5, 2026

    • zkLean

      Public
      zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •8•29•0•2•Updated May 4, 2026May 4, 2026

    • eng

      Public
      Engineering assistant tool with enhanced RDE capabilities.
      Prolog
      •
      Other
      •0•3•0•0•Updated May 2, 2026May 2, 2026

    • rme

      Public
      Reed-Muller Expansion normal form for Boolean Formulas
      Haskell
      •0•3•2•0•Updated Apr 29, 2026Apr 29, 2026

    • stubs

      Public
      Simple language for defining stub function semantics for binary analysis
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•5•15•0•Updated Apr 29, 2026Apr 29, 2026

    • llvm-pretty

      Public
      An llvm pretty printer inspired by the haskell llvm binding
      Haskell
      •
      Other
      •18•31•24•6•Updated Apr 25, 2026Apr 25, 2026

    • flexdis86

      Public
      A library for disassembling x86-64 binaries.
      x86-64assemblerdisassembler
      x86-64assemblerdisassembler
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •9•44•12•2•Updated Apr 22, 2026Apr 22, 2026

    • BLST-Verification

      Public
      BLST-Verification
      Python
      •3•23•2•1•Updated Apr 22, 2026Apr 22, 2026

    • saw-suite

      Public
      Dockerfile
      •0•0•1•0•Updated Apr 20, 2026Apr 20, 2026

    • oughta

      Public
      A Haskell library for testing programs that output text
      testinghaskellhaskell-library
      testinghaskellhaskell-library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•7•0•Updated Apr 20, 2026Apr 20, 2026

    • language-rust

      Public
      Parser and pretty-printer for the Rust language
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •17•2•2•0•Updated Apr 17, 2026Apr 17, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.