An asynchronous event driven PHP socket framework
Implementations for the Revised Report language
Software Unit Tests (Language Independent Approach)
RetDec is a retargetable machine-code decompiler based on LLVM
Just another manual code analysis tool and static analysis tool.
Show dependences of a FreeBSD port as a pseudo graphic tree
A tool for finite state machine analysis and synthesis.
An Open source Analysis and SImulation Toolbox for Fuel Cells
A Deformable Medical Image Registration Toolbox
Iterative Data and Control Flow Analysis
function finder
Hadoop Management System