Papers Please (The game) was written in haxe

When I was using it (a long time ago) I considered it pretty solid, as far as game development goes (though you're not going to find a ton of libraries outside of that niche).

The only thing I remember disliking was that, it has a lot of backends (it can compile to Python, PHP, Lua, Java... lots of things) and some of them are well-maintained whereas some are barely used and rather buggy.