Trending
See what the GitHub community is most excited about today.
-
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
-
A collection of TLA+ specifications of varying complexities
-
Dr. TLA+ series
-
TLA+ specification for the Raft consensus algorithm
-
Source Code for 'Practical TLA+' by Hillel Wayne
-
-
Azure Cosmos TLA+ specifications
-
The Filecoin protocol specification
-
TLA+ specification of the Kafka replication protocol
-
Pluscal/TLA+ modeling of distributed systems/protocols
-
Very small examples of TLA+ features.
-
TLA+ Spec of a simplified part of MongoDB replication system
-
-
A collection of useful TLA+ operators
-
-
TLA+ specification of FPaxos
-
VS Code extension adding support for Leslie Lamport's TLA+ language
-
A TLA+ specification for the Xen vchan protocol
-
-
Tests with PlusCal / TLA+
-
Miscellaneous TLA+ specifications
-
A TLA+ module for animating TLC traces.
-
TLA+ specification for the Raft consensus algorithm
-
Reading the linearizability paper with TLA+
-
This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.