GitHub repository: GaloisInc/pirate-ide-debug-extension
Primary language: TypeScript
Description: A debugger extension for the Pirate IDE