It's HaxeFlixel. This is the first project I've done with it but I'm really loving it. Exporting this as an html5 application was actually an after-thought because I didn't have easy access to a windows or osx computer and I didn't want to only have a linux build. Definitely check it out! It's great!