After The Deadline is contextual spell checking, grammar checking, and style checking technology. It has seamless service integration with online publishing tools and platforms (WordPress, TinyMCE, etc.). AtD's sophisticated language models can catch and suggest corrections to subtle errors in context.
RTextDoc is a text editor with proofreading. It is designed for typesetting professional research papers and manuals using the LaTeX, AsciiDoc, and DocBook markup languages. It includes on-the-fly spelling and grammar checking, syntax highlighting, bracket matching, folding, a document structure browser for sections and labels, bookmarks, a manager for LaTeX symbols, WYSIWYG equation editor, and integrated BibTex database manager.