MyBatis SQL mapper framework for Java
TLC is an explicit state model checker for specifications in TLA+
Kodezi Chronos is a debugging-first language model
WeChat develops Java SDK, supports back-end development
The Open Source Test Automation Platform
Provide support to increase developer productivity in Java
A decentralized bitcoin exchange network
Android Permissions Framework, Adapt to Android 16
Java interface to OpenCV, FFmpeg, and more
Clojure HTTP server/client library with WebSocket support
Distributed scheduled job framework
Language for defining cloud service APIs and shapes
Android toast frame, dedicated to treating various difficult problems
A custom RPC framework implemented by Netty+Kyro+Zookeeper
Framework on top of spring-boot that helps create back-ends
Parser generator to read, process, or translate structured text
Examples, server integrations for generating Swagger API Specification
1.21.11 Lightweight Minecraft server
Containerize your Java application
Examples for the usage of LaTeX
Purpur is a drop-in replacement for Paper servers
A high performance caching library for Java
Framework for building GraalVM-enabled command line apps
Source code for the X Recommendation Algorithm
Tribuo - A Java machine learning library