Diagnose and Check Website Health
Simple Python-based Static Code Analyzer for C programs based on GLib
Simple tool for fixing common misspellings, typos
Programming with Millions of Examples
Kammerjäger is a debugging tool with integrated correctness proving.