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