TLC is an explicit state model checker for specifications in TLA+
AnLinux allow you to run Linux on Android without root access
A safe, dynamic tracing tool for the Java platform
Distributed Workflow Engine for Microservices Orchestration
iText for Java represents the next level of SDKs for developers
Red5 Server core
The open source BIMserver platform
Reformats Java source code to comply with Google Java Style
A quickstart generator for Spring projects
Library to stream in rtmp and rtsp for Android. All code in Java
A process for exposing JMX Beans via HTTP for Prometheus consumption
Java interface to OpenCV, FFmpeg, and more
Keep your code spotless
Additional plug-ins and extensions for Java's ImageIO
Make writing Java http clients easier
TestNG testing framework
Distributed tracing without code changes
Test automation made simple
JNI based binding for Dear ImGui
Agent of Sonic cloud real machine platform
Samples demonstrating how to use Maps SDK for Android
Android (f/w 2.1+) on screen keyboard for multiple languages
Parser generator to read, process, or translate structured text
RStudio is an integrated development environment (IDE) for R