Popular repositories Loading

1. tla-web tla-web Public

   Interactive, web-based environment for exploring and visualizing TLA+ specifications.

   TLA 72 7

2. tlaplus_animation tlaplus_animation Public

   A TLA+ module for animating TLC traces.

   TLA 44 3

3. tlaplus_repl tlaplus_repl Public

   A simple REPL for TLA+.

   Python 39 2

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

   TLC models for the MongoDB Replication TLA+ specification.

   TLA 20 2

5. snapshot-isolation-spec snapshot-isolation-spec Public

   A formal specification of snapshot isolation.

   TLA 18 2

6. endive endive Public

   Tool for automatically inferring inductive invariants of distributed protocols.

   TLA 13 3