Apparently they're not made in Flash, they're made in Haxe[1] + OpenFL[2]!

Flash is just one of its export targets. Haxe + OpenFL also supports HTML5.

Here's the framework the person seems to be using: https://github.com/abagames/mgl

[1] http://haxe.org/

[2] http://www.openfl.org/