Additionally you can look at Moai. (http://getmoai.com) It allows you to write your game logic in Lua and compiles to Android, Native Client and iOS. There also is a hosted cloud that allows you to write your game's backend logic in Lua (I work for Zipline Games and head up the cloud development team)