Popular repositories Loading

1. spectacle spectacle Public

   Interactive playground for exploring and sharing TLA+ specifications in the browser.

   JavaScript 187 15

2. tlaplus_animation tlaplus_animation Public

   A TLA+ module for animating TLC traces.

   TLA 47 2

3. tlaplus_repl tlaplus_repl Public

   A simple REPL for TLA+.

   Python 40 1

4. mongo-repl-tla-models mongo-repl-tla-models Public

   TLC models for the MongoDB Replication TLA+ specification.

   TLA 21 2

5. endive endive Public

   Tool for automatically inferring inductive invariants of distributed protocols.

   TLA 21 3

6. snapshot-isolation-spec snapshot-isolation-spec Public

   A formal specification of snapshot isolation.

   TLA 20 2