GitHub repository: s12f/tlads
Primary language: TLA
Description: TLA+ and Distributed/Discrete Systems.