TLC is an explicit state model checker for specifications in TLA+
iText for Java represents the next level of SDKs for developers
Java library that enables cross-platform access to popular native APIs
A production-grade java implementation of RAFT consensus algorithm
A Java math library for OpenGL rendering calculations
A complete solution for apps using root permissions
ALFOUR Programming language. Simple, safe, power, multi-platform.
High performance inter-thread messaging library
An Android library that provides views using openGL canvas
HTTP library that makes networking for Android apps
The vip.com's distributed job scheduling platform
The missing Android blurring library
PDF Library for Developers
Android dynamic skin resurfacing library
An API allowing java applications to connect to MythTV as a client.
Simple Workflow is a free workflow engine written in Java.
A library that converts Math ML and Unicode to Nemeth Braille.
A neural network library for Java.