Free software to validate BPMN business process diagrams.
A library for creating decision tables written in Java.
GUI for finding duplicates in source files
Eclipse Plugin to find unused Java code
An advanced cross platform fuzzing framework suited to find code bugs.
PriEsT is a decision making tool for Analytic Hierarchy Process (AHP).
a python manager class for named variables (variable name is variable)
Kammerjäger is a debugging tool with integrated correctness proving.