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