A high performance caching library for Java

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

High Performance data structures and utility methods for Java

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Apache Geode

Pravega - Streaming as a new software defined storage primitive

Automated testing to find logic and performance bugs in database systems

Distributed Systems Labs and Framework

A cluster consistency platform

Apache Aurora - A Mesos framework for long-running services, cron jobs, and ad-hoc jobs

H-Store Distributed Main Memory OLTP Database System

The experimentation and testing tool for Apache Mesos - NO LONGER MAINTANED!

DEPRECATED—Open source Apache Cassandra running on DC/OS is now replaced by mesosphere/dcos-commons/frameworks/cassandra. This repository will be deleted at the end of 2017.

Harry for Apache Cassandra®

RxJava client for Apache Mesos HTTP APIs

A stateless model checker powered by maximal causality reduction

Some example code for Kafka 0.8.2

Tool for static verification of Contracts for Concurrency in Java programs

Bazel rules for the Frege programming language