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