Search credible GitHub repositories.

A collection of TLA⁺ specifications of varying complexities.

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLA+ specification for the Raft consensus algorithm

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

No repository description provided.

Source Code for 'Practical TLA+' by Hillel Wayne

Azure Cosmos TLA+ specifications

Learn TLA+ for free! No prior experience necessary!

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

No repository description provided.

A TLA+ specification of the Apache BookKeeper replication protocol

TLA+ specifications for Raft and variants

TLA+ specifications for Kafka related algorithms

TLA+ specification of the Kafka replication protocol

Pluscal/TLA+ modeling of distributed systems/protocols

Specifying and Verfying concensus algorithms in PolarDB using TLA+

Distributed termination detection on a ring, due to Shmuel Safra:

System Intelligence Benchmark

Reading the linearizability paper with TLA+

TLA+ specifications related to Viewstamped Replication

TLA+ Spec of a simplified part of MongoDB replication system

A TLA+ module for animating TLC traces.

An instructional website with progressively worked examples of TLA+ specifications and model checking.

TLA+ specs for table formats

TLA+ specification of Flexible Paxos

Very small examples of TLA+ features.

Specifying and Verifying CRDT Protocols using TLA+

:microscope: formal tools for BPMN