Satellite Procedure Execution Language and Library
TLC is an explicit state model checker for specifications in TLA+
A tool to help eliminate NullPointerExceptions (NPEs) in your code
OFFICIAL mirror of MIUI Multilang ROM by https://xiaomi.eu/
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
Simple app to get OS detailed specs and test internet speed.
Spelling, grammar and style checking on LaTeX documents
A syntax highlighting, code folding text component written in Swing
A classic notepad editor with modern UI
Free and open-source style and grammar editor
An open source ambient light for many systems
Montys his name Matching is his game, a game of snap
Checksum Checker
Your simple RTF editor completely in Java
Generates Latin squares and counts their transversals
Hash Checker