Markdown Editors

I'm tired of writing posts using the Blogger "IDE." So I've started looking into markdown editing tools. I want one that not only supports Markdown, but also does syntax highlighting, and formatting code.

There seem to be two major variations: the original John Gruber version, and github flavored. 


Here's a resource that points to a vast collection:

http://mashable.com/2013/06/24/markdown-tools/

Following up on some of the links: here are a few:

MarkdownJS is a parser in javascript.
https://github.com/evilstreak/markdown-js

Strapdown is another js library. This one alleges use of github flavored markdown.

It uses Google Prettify to format code.