← All repos

RCSnyder/tlaplus-process-studio

View on GitHub ↗ ★ 14 Rust

A collaborative business process modeling tool that uses TLA+ state machines as the shared artifact for structured stakeholder feedback. Everything runs locally in your browser; no server, no accounts, no uploads.

4 mentions on Hacker News by 1 person: 1 story, 3 comments · first 2026-04-16 · latest 2026-09-27