Harvard's Ynot: http://ynot.cs.harvard.edu/