Static AST checker for a11y rules on JSX elements
Node.js express.js MongoDB JWT REST API - Basic Project Skeleton
XSS and SQLi vulnerabilities corrrector for PHP web applications
RTTI for Python Source and Binary Files
Manage and execute Linux testing and reporting programs
A library for monitoring the garbage collection of app objects
A program to check source code for mispelings...
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes
Kammerjäger is a debugging tool with integrated correctness proving.