PixelDev

Excellent engine to develop your platform games in game maker!