A tool for reverse engineering Android apk files
Tool support for the Z formal notation
tiny tool to inject DLLs into Windows processes
Triton is a dynamic binary analysis library
Java class file shrinker, optimizer, obfuscator, and preverifier
CSBB - Computational Suite for Bioinformaticians and Biologists
Build tool utilizing gradle
Ccide is a Decision Table preprocessor.