If he's interested in HTML5 game programming, checkout impactjs. It does cost $99 last I checked, but its a very nice tool for making HTML5 games with JavaScript.