OpenGameDesigner is an open source Game Maker alternative. It compiles to HTML5, and has an intermediate programming language for extra game customization.
This current project status is alpha. Developers are welcome! Visit us at #openteacher at irc.freenode.net