GitHub repository: will62794/tla-web
Primary language: TLA
Description: Interactive, web-based environment for exploring TLA+ specifications.