MapReduce, Spark, Java, and Scala for Data Algorithms Book
[Go] - Bully algorithm visualization & implementation written in Golang.
利用 Go 语言实现多种分布式算法
TLA+ specification of Flexible Paxos