TLC is an explicit state model checker for specifications in TLA+
A Python 3 implementation built on GraalVM
A plugin to improve Notepad++
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
RAD Tool and IDE for PHP, JSP, ASP, C++ and Java Swing
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
This program allows to spelling text in difficult environment
A JavaScript checker and optimizer
Persian Spell Checking Dictionary
Open Software Plagiarism Checker
Tools for the payments type!