Simple tool for fixing common misspellings, typos
Kammerjäger is a debugging tool with integrated correctness proving.
Alchemist GCC/LLVM plugin for code analysis and tuning
Miscellaneous R packages. Some correspond to the packages in Mathemati
An intriguing programming language and a data computing middleware
Diagnose and Check Website Health
Python-based GUI for discrete-event system modeling and simulation
Automation testing tool for generating test cases from java codes