A collection of TLA+ specifications of varying complexities - View it on GitHub