TLA Collection

◆

◆

◆

◆

📦Normal

★★

“A collection of TLA⁺ specifications of varying complexities.”

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

📦Normal

★★

“TLA+ specification for the Raft consensus algorithm”

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

📦Normal

★

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

◆

◆

◆

◆

📦Normal

★

“Source Code for 'Practical TLA+' by Hillel Wayne”

◆

◆

◆

◆

📦Normal

★

“Azure Cosmos TLA+ specifications”

◆

◆

◆

◆

📦Normal

★

“Learn TLA+ for free! No prior experience necessary!”

◆

◆

◆

◆

📦Normal

★

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

◆

◆

◆

◆

📦Normal

★

“Specula: A framework for finding deep bugs in system code using TLA+”

◆

◆

◆

◆

📦Normal

★

“A TLA+ specification of the Apache BookKeeper replication protocol”