Tla Collection

◆

◆

◆

◆

⚡Thunder

★★

“TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. ”

◆

◆

◆

◆

📦Normal

★★

“My own notes (drafts mostly) about software quality”

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

🔥Fire

★★

“APALACHE: symbolic model checker for TLA+ and Quint”

◆

◆

◆

◆

📦Normal

★★

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

◆

◆

◆

◆

💎Aqua

★

“TLA+ language support for Visual Studio Code”

◆

◆

◆

◆

🌊Water

★

“Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications”

◆

◆

◆

◆

💧Water

★

“A TLA+ guide”

◆

◆

◆

◆

📦Normal

★

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

◆

◆

◆

◆

⚡Electric

★

“Interactive playground for exploring and sharing TLA+ specifications in the browser.”

◆

◆

◆

◆

📦Normal

★

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

◆

◆

◆

◆

💻Normal

★

“Command line binaries for the TLA+ language”

◆

◆

◆

◆

🔮Psychic

★

“Jupyter kernel for TLA⁺”

◆

◆

◆

◆

🔮Psychic

★

“Python interpreter for TLA+ specifications”

◆

◆

◆

◆

⚡Thunder

★

“The Official Plugin for ProjectKorra.”

◆

◆

◆

◆

🔮Psychic

★

“Model-based testing tool”