Popular repositories

1. tlaplus_animation Public

   A TLA+ module for animating TLC traces.

   TLA 39 4

2. tlaplus_repl Public

   A simple REPL for the TLA+ language, using the TLC model checker.

   Python 36 2

3. mongo-repl-tla-models Public

   TLC models for the MongoDB Replication TLA+ specification.

   TLA 17 1

4. tla-web Public

   TLA+ Web Explorer Prototype

   JavaScript 17

5. snapshot-isolation-spec Public

   A formal specification of snapshot isolation in TLA+.

   TLA 13 2

6. logless-reconfig Public

   TLA+ Specification of Logless Dynamic Reconfiguration in MongoDB Replication

   TLA 7