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
20082026
-
…forth with an ai. Granted opus 5.5 can probably 1 shot this now https://tlaplus-process-studio.com/ https://github.com/RCSnyder/tlaplus-process-studio Also the hard part is connecting the tla+ spec to the implementation code with traces
comment by uptodatenews · 2026-09-27 · in The internet discovers TLA+. Now what? -
You run into Rices theorem if you try to apply it too heavily. I made https://github.com/RCSnyder/tlaplus-process-studio https://tlaplus-process-studio.com/ For local only high level modelling. Its not a full tie into the actual model…
comment by uptodatenews · 2026-07-03 · in Hunting a 16-year-old SQLite WAL bug with TLA+ -
▲ 14
Show HN: TLA+ Process Studiostory by uptodatenews · 2026-06-20 · 2 comments
-
This is exactly why I built these two things https://github.com/RCSnyder/tlaplus-process-studio This is to extract the bare minimum state machine out of users is tla+ https://github.com/RCSnyder/lights-out-swe And pop that into…
comment by uptodatenews · 2026-04-16 · in A sufficiently comprehensive spec is not (necessarily) code