Build concurrent, distributed, and resilient message-driven apps
TLC is an explicit state model checker for specifications in TLA+
Java Concurrency Tools for the JVM
JavaCore is a summary of experience with Java core technologies
Orchestration engine to execute asynchronous business logic
Turso is an in-process SQL database, compatible with SQLite
An efficient, small mobile key-value storage framework
Object-functional library that runs with Java 8+
The best file downloader library for Android
A graph database that supports more than 100+ billion data
The pure asynchronous runtime for Scala
A fault tolerant, protocol-agnostic RPC system
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
Load testing tool for analyzing and measuring performance of services
High performance inter-thread messaging library
High performance tabular data exporter
Transactional schema-less embedded database used by JetBrains
A pure Java JDBC driver for Microsoft Access database files
High performance three-high-import import system
A utility that adds file metadata to a database
The Eta Programming Language, a dialect of Haskell on the JVM
Basic, concurrent algorithm