Galois, Inc.

what4

Symbolic formula representation and solver interaction library

parameterized-utils

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

curl

A Haskell binding to the curl library

HARDENS

Repository for the HARDENS project

argo

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW

ivory-tower-stm32

Tower backend and Ivory board support package for the STM32 line of microcontrollers

arm-asl-parser

Parsing tools for ARM's ASL

aig

Provides an interface for AIGs and word-level operations on them

what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

heapster-formalization

A Coq formalization of the Heapster type system

libBF-hs

Haskell bindings to libBF

cryptol-compiler

demangler

Haskell library for (C++) symbol name demangling

entree-specs

seds-rs

a library for SOIS Electronic Data Sheets

ardupilot

Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE

renovate-pate

A library for binary analysis and rewriting

chocosolver

A backend for Clafer using the Choco4 solver.

cn-tutorial

flake_ardupilot

Nix flake for building Ardupilot

flake_pydronecan

Nix flake for building pydronecan

flake_supervolo

Nix flake for building SuperVolo

flake_uavcan

Nix flake for building uavcan

flakes

Nix flakes maintained by Galois.

LLVM-MCA-Daemon

MCAD tweaks for integration into PATE Binja Plugin

mavlink

MAVLink micro air vehicle marshalling / communication library

mustool

ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols

pono

Pono: A flexible and extensible SMT-based model checker

soroban-examples

Example Soroban Contracts