Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Dr. TLA+ series
-
A collection of TLA+ specifications of varying complexities
-
TLA+ specification for the Raft consensus algorithm
-
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
-
TLA+ Model of the Elasticsearch data replication approach
-
TLA+ specification of FPaxos
-
Tests with PlusCal / TLA+
-
Source files from an evaluation of the Runway formal specification system as it compares to TLA+
-
A collection of useful TLA+ operators
-
Pluscal/TLA+ modeling of distributed systems/protocols
-
TLA+ Spec of a simplified part of MongoDB replication system
-
📚 Going through Leslie Lamport's TLA+ hyperbook -
MultiPaxos in TLA+
-
Code and documents related to Resumable Online Index Rebuild in SQL Server
-
Block Translation Table
-
TLA+ specification for the Raft consensus algorithm
-
TLA+ model of some SAFE network stuff
-
TLA+ description for the CAS-Paxos algorithm
-
Telecom Nancy - Projet MALG 2017
-
Dr. TLA+ series
-
-
TLA+ specification for the Raft consensus algorithm
-
TLA Built by
-
TLA+ specification for the Raft consensus algorithm
-
Example application model for tla-sbuilder
TLA
