TLC is an explicit state model checker for specifications in TLA+
A tool to help eliminate NullPointerExceptions (NPEs) in your code
The free computer aided translation (CAT) tool for professionals
an Open Source BPMN 2.0 / DMN 1.1 Modeler
A powerful, feature-rich Markdown editor with real-time HTML preview.
Java byte code compatibility analyser
Version 1.6.1
A syntax highlighting, code folding text component written in Swing
Free and open-source style and grammar editor
Generates Latin squares and counts their transversals
Tools for the payments type!
Library of linguistic tools
Java library can be used in JUnit testcases for beans coverage
Validation of complex Apache Oozie Hadoop workflow
Internationalization tool for Java applications.
A simple tool to document use cases.