Tla Collection
Repositories tagged with "tla"
Repositories tagged with "tla"
tlaplus
tlaplus
โTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. โ
sqa-wiki
ligurio
โMy own notes (drafts mostly) about software qualityโ
tla-rust
spacejam
โwriting correct lock-free and distributed stateful systems in Rust, assisted by TLA+โ
apalache
apalache-mc
โAPALACHE: symbolic model checker for TLA+ and Quintโ
BlockingQueue
lemmy
โTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!โ
vscode-tlaplus
tlaplus
โTLA+ language support for Visual Studio Codeโ
fizzbee
fizzbee-io
โEasiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applicationsโ
learntla
hwayne
โA TLA+ guideโ
learntla-v2
hwayne
โLearn TLA+ for free! No prior experience necessary!โ
spectacle
will62794
โInteractive playground for exploring and sharing TLA+ specifications in the browser.โ
pgo
DistCompiler
โPGo is a source to source compiler from Modular PlusCal specs into Go programs.โ
tla-bin
pmer
โCommand line binaries for the TLA+ languageโ
tlaplus_jupyter
kelvich
โJupyter kernel for TLAโบโ
PlusPy
tlaplus
โPython interpreter for TLA+ specificationsโ
ProjectKorra
ProjectKorra
โThe Official Plugin for ProjectKorra.โ
modelator
informalsystems
โModel-based testing toolโ