Design patterns implemented in Java

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

FitNesse -- The Acceptance Test Wiki

Global keyboard and mouse listeners for Java.

ZStack - the open-source IaaS software http://zstack.org (国内用户请至 http://zstack.io)

Automatically identify deserialisation issues in Java and .NET applications by using active and passive scans

Object Graph Navigation Library