H2 is an embeddable RDBMS written in Java
TLC is an explicit state model checker for specifications in TLA+
Spelling, grammar and style checking on LaTeX documents
MyBatis integration with Spring Boot
pure java git solution
The Enterprise-ready testing and specification framework
A tool to help eliminate NullPointerExceptions (NPEs) in your code
OFFICIAL mirror of MIUI Multilang ROM by https://xiaomi.eu/
DVB transport stream analyzer written in java
Java byte code compatibility analyser
Simple app to get OS detailed specs and test internet speed.
A classic notepad editor with modern UI
Free and open-source style and grammar editor
An open source ambient light for many systems
Checksum Checker
Your simple RTF editor completely in Java
Links Dailymotion videos, Reuters news feeds, IPTV & more
Generates Latin squares and counts their transversals
A gradle plugin for getting java lambda support in java 6, 7
A Microsoft Access database conversion tool to convert old and new Acc
Hash Checker
Verification via biSimulations of Max-Plus-Linear models