Lua bindings for POSIX APIs
Fearless refactoring to find certain errors
A benchmarking framework for the Julia language
Java byte code compatibility analyser
Powerfull XSS Scanning and Parameter analysis tool&gem
Optimized version of MVP, using annotation generics to simplify code
Eclipse Plugin to find unused Java code
Bit level lambda continuations and nothing else - Queue automata
TibCheck - simple and "dirty" validation tool for Tibco BW Projects
Quality-Check is a small Java library for basic runtime checks of vars
vMotion Detector for Linux & Windows Platforms
Detect copy-paste code.