GitHub repository: lemmy/ewd998
Primary language: TLA
Description: Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF