GitHub repository: will62794/spectacle
Primary language: JavaScript
Description: Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.