Pinned Repositories
crucible
Crucible is a library for symbolic simulation of imperative programs
cryptol
Cryptol: The Language of Cryptography
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
haskell-tor
A Haskell implementation of the Tor protocol.
ivory
The Ivory EDSL
macaw
Open source binary analysis tools.
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.
reopt
A tool for analyzing x86-64 binaries.
saw-script
The SAW scripting language.
swanky
A suite of rust libraries for secure multi-party computation
Galois, Inc.'s Repositories
GaloisInc/cryptol
Cryptol: The Language of Cryptography
GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
GaloisInc/saw-script
The SAW scripting language.
GaloisInc/reopt
A tool for analyzing x86-64 binaries.
GaloisInc/swanky
A suite of rust libraries for secure multi-party computation
GaloisInc/macaw
Open source binary analysis tools.
GaloisInc/what4
Symbolic formula representation and solver interaction library
GaloisInc/cereal
GaloisInc/llvm-pretty-bc-parser
Parser for the llvm bitcode format
GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
GaloisInc/curl
A Haskell binding to the curl library
GaloisInc/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
GaloisInc/cryptol-specs
A central repository for specifications of cryptographic algorithms in Cryptol
GaloisInc/HARDENS
Repository for the HARDENS project
GaloisInc/pate
Patches Assured up to Trace Equivalence
GaloisInc/argo
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
GaloisInc/alex-tools
A Haskell library making it easier to write Alex lexers.
GaloisInc/libBF-hs
Haskell bindings to libBF
GaloisInc/entree-specs
GaloisInc/ardupilot
Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
GaloisInc/simple-smt-ocaml
GaloisInc/cn-tutorial
GaloisInc/copilot-1
A stream-based runtime-verification framework for generating hard real-time C code.
GaloisInc/flake_ardupilot
Nix flake for building Ardupilot
GaloisInc/flake_pydronecan
Nix flake for building pydronecan
GaloisInc/flake_supervolo
Nix flake for building SuperVolo
GaloisInc/flake_uavcan
Nix flake for building uavcan
GaloisInc/flakes
Nix flakes maintained by Galois.
GaloisInc/LLVM-MCA-Daemon
MCAD tweaks for integration into PATE Binja Plugin
GaloisInc/mavlink
MAVLink micro air vehicle marshalling / communication library