I've come across Synthesia before and it's well-thought learning tool. But its major drawback is that it's only aimed at piano players.

I think Hummingbird's goal is to become an alternate standard of global music notation, based on the fact that it resembles the traditional one (and actually uses it as a base). But Hummingbird also has its flaws (that I mentioned in another comment).