They are using Moai (getmoai.com) which is a cross-platform LUA based open-source game engine. It outputs to Android, iOS and Chrome. From what i gather you can develop+test games on Mac or PC but it doesnt compile to them much more so for Linux. The Chrome part may play in linux but not so sure about that.
Interesting, I had a quick look at the moai docs and the library mostly looks like a wrapper for OpenGL and it already targets android which has a Linux kernel.
