GitHub repository: GaloisInc/pirate-annotations
Primary language: Python
Description: This contains design documentation for Galois efforts on GAPS.