How to do game dev without downloading binaries?

I am trying to start a student club for game development. My initial plan was to have students start by modifying an existing Open Source game, such as Sauerbraten, Tux Racer, or SuperTux. The students all have Windows computers, the problem is they’re locked from installing any binaries such as these games, which would be needed to get started. So is there some option for creating a collaborative project that wouldn’t require downloading of binaries to do?