TLC is an explicit state model checker for specifications in TLA+
A process for exposing JMX Beans via HTTP for Prometheus consumption
The IDE for competitive programming
Red5 Server core
Test automation made simple
Modular and customizable Material Design UI components for Android
Ad-Free, New Features & Freedom
Java language binding for writing Appium Tests
A Java Virtual Machine for OpenJDK
ConnectBot is the first SSH client for Android
Visualizes all aspects of compiled Java class files
Database subsetting and relational data browsing tool
ORCID Open Source Project
An authorization library that supports access control models
SchemaSpy code home
A complete 3-D game development suite written in Java
Reformats Java source code to comply with Google Java Style
TestNG testing framework
A scalable web crawler framework for Java
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
PSLab Android App
Internet Archive's open-source, web-scale, web crawler project
Android (f/w 2.1+) on screen keyboard for multiple languages
A library that provides access to Android hidden APIs
Parser generator to read, process, or translate structured text