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

Distributed, Online, and Outlier Resilient SLAM for Robotic Teams

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

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

Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020

TLA+ specification of Flexible Paxos

JBotSim Core Files

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

[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.

Quantitative User-friendly Adaptable Networked Things Abstract Simulator

Distributed Algorithms For Computer Networks using Sinalgo simulator