GitHub repository: GaloisInc/BESSPIN
Description: Top-level repository including all relevant BESSPIN repository