Stars
Quint specification of Mysticeti Consensus
Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.
Remake of the Original FlappyBird Using JS & HTML Canvas
Kollaps: a decentralized container based network emulator
Prototype implementation of SwiftPaxos (NSDI 2024)
A Twitter-toy clone written in PHP and Redis, used in the early days to introduce Redis data types.
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
A Kubernetes toolkit for building distributed applications using cloud native principles
Implementation of the Raft consensus protocol in JGroups
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Classes for multithreading that expand on java.util.concurrent, adding convenience, efficiency and new tools to multithreaded Java programs
NumaMMA is a lightweight memory profiler for parallel applications
Production-safe dynamic tracing and diagnostics for Java applications—attach to live JVMs with no restart or recompilation.
Black-box transactional safety checker based on cycle detection
framework for evaluating (planet-scale) consensus protocols
Lithops-based Serverless implementation of the METASPACE spatial metabolomics annotation pipeline
A multi-cloud framework for big data analytics and embarrassingly parallel jobs, that provides an universal API for building parallel applications in the cloud ☁️🚀
Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps …
APALACHE: symbolic model checker for TLA+ and Quint
Infinispan is an open source data grid platform and highly scalable NoSQL cloud data store.
Official public repository for TinySTM (tmware.org)
Service partitioning for efficient multi-site ZooKeeper support by the European LEADS project