TLC is an explicit state model checker for specifications in TLA+
Libraries for Analysis, with frontends for Java, Android, and JS
State of the art mutation testing system for the JVM
An powerful enhanced toolkit of MyBatis for simplify development
Gradle plugin that integrates jOOQ
Pluggable and configurable code formatting platform written in Rust
This repository is a collection of the author, Xiao Fuge
Brokk brings code intelligence to AI
Java interface to OpenCV, FFmpeg, and more
SoapUI is a free and open source cross-platform functional testing
A powerful componentized framework
Object-functional library that runs with Java 8+
The home of the ICU project source code
A free, open source, powerful tool for working with messy data
Desktop/Android/HTML5/iOS Java game development framework
"Java Learning + Interview Guide" covers the core Java knowledge
Fluent assertions for Java and Android
Pure Java annotation, single class file, rapid development
Simplified version of ZXing, optimized to scan codes to generate QR
Real-Time coding-free, powerful and secure ORM
A set of tools that keep Java sweet
Apache Avro is a data serialization system
Maven/Gradle alternative with a twist: its a single Java file
Fast Binary Encoding is fast and universal serialization solution
Annotation processor to create immutable objects and builders