GitHub repository: tlaplus/awesome-tlaplus
Description: A curated list of TLA+ resources.