TLC is an explicit state model checker for specifications in TLA+
A Python 3 implementation built on GraalVM
A tool to help eliminate NullPointerExceptions (NPEs) in your code
The Lux Programming Language
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
The most accurate natural language detection library for Java
A syntax highlighting, code folding text component written in Swing
Free and open-source style and grammar editor
A JavaScript checker and optimizer
Persian Spell Checking Dictionary
Tools for the payments type!
Simple and Powerful Latex Editor
Library of linguistic tools
Java library can be used in JUnit testcases for beans coverage
Validation of complex Apache Oozie Hadoop workflow