TLC is an explicit state model checker for specifications in TLA+
JavaCore is a summary of experience with Java core technologies
The best file downloader library for Android
Object-functional library that runs with Java 8+
The pure asynchronous runtime for Scala
A pure Java JDBC driver for Microsoft Access database files
High performance three-high-import import system
License4J Library and GUI Tools
Better Modularity, Better Concurrency
Scala libraries for building and consuming RESTful web services