GitHub repository: GaloisInc/pirate-ide
Description: IDE for the GAPS Pirate toolchain