External configuration (server and client) for Spring Cloud
A Gateway built on Spring Framework and Spring Boot
Simplifies building hypermedia-driven REST web services
Ahead of Time Data Repositories
Cucumber for the JVM
Java Concurrency Tools for the JVM
Stipple Effect is a pixel art editor that supports animation
The IDE for competitive programming
Android library for building complex screens in a RecyclerView
An open source Valkey client library that supports Valkey and Redis
Synthetic Patient Population Simulator
Optimized UI components for Firebase
Render After Effects animations natively on Mobile, Web & React Native
Modern JavaFX CSS theme collection with additional controls
Rakudo – Raku on MoarVM, JVM, and JS
Source code for the X Recommendation Algorithm
Examples for the usage of LaTeX
Advanced Java Redis client for thread-safe sync, async, etc.
Simplifies the development of creating a JPA-based data access layer
A durable Datalog implementation adaptable for distribution
A library for debugging android databases and shared preferences
A flexible, stable, easy-to-use Android plug-in framework
Distributed scheduled job framework
Git Server with CI/CD, Kanban, and Packages
TLC is an explicit state model checker for specifications in TLA+