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
Provide support to increase developer productivity in Java
Stream processing framework with powerful stream
Provides support to increase developer productivity in Java
A complete solution for apps using root permissions
An engine-agnostic deep learning framework in Java
ALFOUR Programming language. Simple, safe, power, multi-platform.
Java GUI-Less browser, supporting JavaScript, to run against web pages
PEARL Compiler and Runtime System
Another drawing editor for LaTeX with PSTricks & TikZ
High performance inter-thread messaging library
An Android library that provides views using openGL canvas
Android interface that makes capturing pictures and videos easy
HTTP library that makes networking for Android apps
The vip.com's distributed job scheduling platform
C++ CASE tool, full life cycle code generator
High level API to generate and transform Java byte code
Android HotFix solution with high compatibility and high stability
The missing Android blurring library