Automated Linguistic Analysis, with both monolith and cluster versions
Programming with Millions of Examples
typos
JASTI (Java AST Inspector)
Subversion utilities
Automation unit testing tool for C & C++ on Linux platform
Simple tool for fixing common misspellings, typos
Kammerjäger is a debugging tool with integrated correctness proving.