While it doesn't run natively in Linux, the games it exports are HTML5-based, so are easy enough to turn into a Linux standalone.