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
A pure Java JDBC driver for Microsoft Access database files
License4J Library and GUI Tools
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
Java and C Comparative Performance Benchmarks
Real-time data acquisition and visualization software
Map based synchronizer
SCOPE: Space-Based Coordination Process Engineering