GitHub repository: GaloisInc/pirate
Primary language: C++
Description: Main repository for the Galois/Two Six Pirate Project for DARPA GAPS