It's actually made in an opensource SDK called Solar2D (what used to be the unfortunately and untimely named CoronaSDK) It's lua based and we use Tiled as a visual editor to build UI and levels and ZeroBrane as a code editor..
These are all open, lightweight and beginner friendly tools but powerful enough to build modern and well received mobile, desktop and (hopefully in the near future) console games.