TLC is an explicit state model checker for specifications in TLA+
JavaCore is a summary of experience with Java core technologies
Object-functional library that runs with Java 8+
The best file downloader library for Android
The pure asynchronous runtime for Scala
Amateur Radio AX.25 chat and PBBS program using Linux's AX.25 stack
A pure Java JDBC driver for Microsoft Access database files
High performance three-high-import import system
Basic, concurrent algorithm
License4J Library and GUI Tools
Parallel Optimization Library for Java
A service-oriented programming language.
Better Modularity, Better Concurrency
A tool for visualization and analysis of logs as sequence diagrams
A Pipes & Filters framework for Java
Scala libraries for building and consuming RESTful web services
Generate predefined SQL load on a database
Java and C Comparative Performance Benchmarks