A framework for model-agnostic software performance analysis.
Static analysis tool for PHP architectures. Define how your architecture should look like and let archinspec validate it.
Sidewise is an Xtext-based grammar editor to write valid operator precedence grammars (OPG). The editor supports the generation of Eclipse plugins for formal verification leveraging incremental parsing based on the OPG grammar.
HPMOM is a message oriented middleware leveraging the power of software-defined networking (SDN) to achieve line-rate message throughput and in-network content-based filtering.