GitHub repository: peacefulotter/distributed-algorithms
Primary language: Java
Description: Perfect Links, Best Effort Broadcast, Reliable Broadcast, Uniform Reliable Broadcast, FIFO, and Lattice Aggreement all built on top of an unreliable channel (UDP sockets)