“Game Lab is a browser-based JavaScript programming environment designed to create sprite-based drawings, animations and games, with the ability to freely switch between programming in blocks or text.” It is intended to be an educational tool. Because it is a JavaScript based tool, the skills learned such as conditional statements, loops, variables, functions, etc., will be transferable to learning many other languages. Because it is an educational tool, the exact projects you build in Game Lab may not be transferable to running somewhere else. This is especially due to the sprite library that are housed in Game Lab.
Have your student search on the forum. It sounds like he wants to grow his learning beyond the scope of the curriculum (which is great!!). There are some posts that can help him take the leap - such as this one. Good luck!
Michelle