Ask HN: Which educational games and material do you use for kids on Linux?

We've discovered GCompris for my five year old which is pretty good for now. But I'm curious where to go when he gets a little older.

I've done some searching for free games and some of the options are ok but do seem a bit limited.