GitHub repository: GaloisInc/BESSPIN-LFS
Primary language: Python
Description: BESSPIN Binaries (apps, OS images, and bitstreams).