Quick and Easy TypeScript Express Starter
Call app from h5
Eclipse Plugin to find unused Java code
Describe and watch component structure of java programs
Tool to detect and correct vulnerabilities in PHP web applications
Tool for code duplication detection in QtCreator projects.
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes