StrangeMansion I game with portals! (like in portal "the game") I use to keep this repository as a private github repository. But now, I am no more a student, I have to make it public...