MapReduce, Spark, Java, and Scala for Data Algorithms Book

Distributed, Online, and Outlier Resilient SLAM for Robotic Teams

Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020

[Go] - Bully algorithm visualization & implementation written in Golang.

利用 Go 语言实现多种分布式算法

TLA+ specification of Flexible Paxos

Synchronous fault-tolerant distributed algorithms encoded in TLA+

JBotSim Core Files

scafi (Scala with computational Fields): a Scala framework for Aggregate Computing

Distributed locks and other utils, can be used with Jedis client and Lettuce client for Redis

[GSoC] Distributed Data Structures - Collections Framework for Chapel language

DaViz is a tool for simulating and visualizing distributed algorithms.

A framework to set up distributed algorithms via HTTP, HTML and Javascript, based on NodeJS and Express.

Raft re-implemented in Rust.

Graph-based Deterministic Policy Gradient for Repetitive Combinatorial Optimization Problems

Implementation of heartbeat gossip distributed membership protocol over UDP in Rust

Implement of Distributed cycle detection in large-scale sparse graphs

A practical evaluation of the iconic distributed algorithms discussed in Christian Cachin's book "Introduction to Reliable and Secure Distributed Programming". Each repo's system incrementally improves its predecessor by adding further functionality. More info regarding the specifics of each system can be found in README.md.