Hooktheory is about the best songwriting tool I've ever used, delighted to see this on HN. Their Hookpad software is completely magical and helps not only to write chord progressions, but to learn music theory as well.
They have ported the main software to HTML5 quite a while ago, but a lot of smaller things (like demos in the blog post series in the original posts) are lost in Flash, unfortunately.