TLC is an explicit state model checker for specifications in TLA+
The best file downloader library for Android
Object-functional library that runs with Java 8+
The pure asynchronous runtime for Scala
High performance inter-thread messaging library
A pure Java JDBC driver for Microsoft Access database files
License4J Library and GUI Tools
Provides 100% pure Java mutual exclusion.
Fast and more random implementations of java.util.Random.
Better Modularity, Better Concurrency
Scala libraries for building and consuming RESTful web services