Show HN: Bisimia – A TLA+ environment that runs in the browser

Category: devtools

Tags: tla-plus, formal-verification, model-checking, browser, graalvm, local-first

Score: 7.0/10 (Innovation: 7, Technical: 8, Documentation: 3, Utility: 6)

Bisimia is a browser-based local-first environment for writing and model-checking TLA+ specifications. It runs the real TLC model checker compiled via GraalVM, achieving up to 70x speedup over a CheerpJ-based approach, making formal verification more accessible without local Java setup.

Target audience: backend devs, formal methods researchers, distributed systems engineers

Repository: https://bisimia.com

View on Hacker News