In this game, we will build the basic theory of the natural numbers {0,1,2,3,4,...} from scratch. Our first goal is to prove that 2 + 2 = 4. Next we'll prove that x + y = y + x. And at the end we'll see if we can prove Fermat's Last Theorem. We'll do this by solving levels of a computer puzzle game called Lean.

This is a card game for teaching kids how to combine unix commands through pipes.

When a player starts a session, they are the car driver, and each person that joins is seated in one of the other three passenger seats.

Players are automatically connected via voice chat.

The radios stations are real-life internet radio streams and several of them are available in the game world.

Online simulator to learn automotive wiring and how to troubleshoot and fix problems with it