Automated Linguistic Analysis, with both monolith and cluster versions
Programming with Millions of Examples
JASTI (Java AST Inspector)
Simple tool for fixing common misspellings, typos
Kammerjäger is a debugging tool with integrated correctness proving.