TLC is an explicit state model checker for specifications in TLA+
Java library that enables cross-platform access to popular native APIs
Fluent assertions for Java and Android
The SpotBugs plugin for security audits of Java web applications
Evaluador de expresiones matemáticas para Java en español
A Processing/Java library for high performance GPU-Computing (GLSL)
RDF Eclipse Plugins