Hacker News new | ask | show | jobs
by jacobolus 3047 days ago
Not quite the same kind of tool but you might enjoy http://www.msri.org/people/staff/levy/files/MCL/Zvonkin.pdf