GitHub repository: AnetteTaivere/GobPie
Primary language: Java
Description: Goblint IDE integration via MagpieBridge