GitHub repository: Isaac-DeFrain/TLAplusFun
Primary language: TLA
Description: TLA+ questions, answers, and experiments