Just a heads up, I’ve made a simplistic open source platform engine for Flash Punk 1.0. I intend to expand it, and properly document it in the near future, along with a full fledged tutorial that explains how to create the game step by step.

You can find the engine here: Weeee!
And the (in progress) tutorial here: Tutorial

Cheers.