Popular repositories Loading

1. PaxosMadeSimple PaxosMadeSimple Public

   A TLA+ formalization of the algorithm described in "Paxos Made Simple"

   TLA 21 2

2. MultiPaxos MultiPaxos Public

   MultiPaxos and Disk Paxos in TLA+ and PlusCal

   TLA 12 2

3. Distributed-termination-detection Distributed-termination-detection Public

   TLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache

   HTML 6

4. TLA-Library TLA-Library Public

   A TLA+ library of concepts that I used in other developments

   TLA 5

5. ivy-proofs ivy-proofs Public

   A repository to collect Ivy proofs of various distributed algorithms

   Dockerfile 4 2

6. SCP-Verification SCP-Verification Public

   TeX 3