Judging by the results it looks like they are using Hunspell or Aspell to do the actual checking. I applaud their well executed effort. AtD is more of a complete writing improvement solution that someone like spellr.us could use to provide their service.