Ah umm its pure javascript. It is based on an old engine called "undum" but it has been modified to oblivion to the point I basically call it xundum now.
As for tools... I use to use the IDE webbeans, But I recently swapped over to Webstorm. It has spellcheck!