Lists (1)
Sort Name ascending (A-Z)
Starred repositories
3
results
for source starred repositories
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities
TLA+ specification for the Raft consensus algorithm
Distributed termination detection on a ring, due to Shmuel Safra: