Ask HN: Resources for teaching kids to code

There have been a number of people in my neighborhood asking about a week long coding camp for kids in the area. One of the local universities runs such a thing, my wife and I both having degrees in computer science figured we could try our hand in running a camp like this out of our house for part of the summer.

We have been trying to track down good resources for teaching kids. We don't want anything simple enough that kids could get online and learn it themselves (like code.org) because we want this camp to have more value than being motivation to be self taught. We are thinking about doing two age groups, one for kids younger than middle-school age and one for kids middle-school and older.

We've found a few things that we are looking into (teachkidsprogramming.org and greenfoot mostly). Does anyone know of anything else that would be useful for what we are doing?

Thanks in advance!