A world editor for Minebuilder (an Android/iOS game) built using libGDX.