Static AST checker for a11y rules on JSX elements
Node.js express.js MongoDB JWT REST API - Basic Project Skeleton
RTTI for Python Source and Binary Files
SploitFrameWork *BETA*
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.