Galois, Inc.

Portland, OR

Pinned Repositories

crucible
Crucible is a library for symbolic simulation of imperative programs
Language:Rust688 33 47542
cryptol
Cryptol: The Language of Cryptography
Language:Haskell1.1k 61 1.2k123
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Language:Haskell1.1k 83 10179
haskell-tor
A Haskell implementation of the Tor protocol.
Language:Haskell273 27 2719
ivory
The Ivory EDSL
Language:Haskell396 49 7428
macaw
Open source binary analysis tools.
Language:Haskell210 29 12620
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Language:Python186 18 4412
reopt
A tool for analyzing x86-64 binaries.
Language:LLVM306 28 4725
saw-script
The SAW scripting language.
Language:Haskell444 36 1.1k62
swanky
A suite of rust libraries for secure multi-party computation
Language:Rust284 12 1659

Galois, Inc.'s Repositories

GaloisInc/renovate
A library for binary analysis and rewriting
Language:Haskell47 23 295
GaloisInc/json
Haskell JSON library
Language:Haskell27 32 79
GaloisInc/LinearArbitrary-SeaHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Language:C21 4 58
GaloisInc/AMIDOL
Scientific model creation toolset.
Language:HTML12 25 94
GaloisInc/golang
Parser and type analysis for the Go programming language
Language:Haskell12
GaloisInc/cheesecloth
Language:C7 1 01
GaloisInc/language-sleigh
A parser for the Sleigh language, which is used to represent ISA semantics in Ghidra
Language:Haskell5 9 0
GaloisInc/balboa
Language:Rust31
GaloisInc/aterm-utils
Utility functions for working with aterms as generated by Minitermite
Language:Haskell2 36 01
GaloisInc/dwarf
Haskell library for parsing DWARF object format
Language:Haskell2 20 02
GaloisInc/RDE_RF
The RDE Refinement Finder.
Language:Scala2 4 1
GaloisInc/blog-saw-and-llms
Language:Rust1 2 0
GaloisInc/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Language:Haskell1
GaloisInc/llvm-passes
Language:C++1 1 0
GaloisInc/picolibc
Language:C1 1 0
GaloisInc/witness-checker
Language:Rust0 1 00
GaloisInc/ekg-forward
EKG forwarding library
GaloisInc/ffmpeg
Language:C1 0
GaloisInc/galois-vim-syntax
Syntax highlighting support for Vim
Language:Vim Script1
GaloisInc/grit
Language:C++1 0
GaloisInc/MicroRAM
Language:LLVM1
GaloisInc/openssl
Language:C1 0
GaloisInc/openssl-driver
Language:Python
GaloisInc/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Language:Haskell2 0
GaloisInc/rust-microkit-http-server-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
Language:Rust1 0
GaloisInc/rust-seL4-sel4cp-demo
Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform
Language:Rust1 1
GaloisInc/sel4test-manifest
Project to build and test seL4 for many different platforms
GaloisInc/sysmlv2-jupyter-docker
Create docker image for running SysMLv2 with Jupyter
Language:Jupyter Notebook3 0
GaloisInc/versioning
Type-safe data versioning.
Language:Haskell1 0
GaloisInc/zkinterface-sieve
zkInterface IR, a toolbox for zero-knowledge interoperability
Language:Rust1 0