tla
There are 89 repositories under tla topic.
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ligurio/sqa-wiki
My own notes (drafts mostly) about software quality
spacejam/tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
hwayne/learntla
A TLA+ guide
hwayne/learntla-v2
Learn TLA+ for free! No prior experience necessary!
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
pmer/tla-bin
Command line binaries for the TLA+ language
kelvich/tlaplus_jupyter
Jupyter kernel for TLA⁺
tlaplus/PlusPy
Python interpreter for TLA+ specifications
ProjectKorra/ProjectKorra
The Official Plugin for ProjectKorra.
will62794/tla-web
Interactive, web-based environment for exploring and visualizing TLA+ specifications.
informalsystems/modelator
Model-based testing tool
lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
will62794/tlaplus_repl
A simple REPL for TLA+.
fpaxos/fpaxos-tlaplus
TLA+ specification of Flexible Paxos
istoilkovska/synchronous-tla-benchmarks
Synchronous fault-tolerant distributed algorithms encoded in TLA+
mryndzionek/tlaplus_specs
Different TLA+ specifications, mostly for learning purposes
mrc/tla-tools
TLA+ tools for Emacs
informalsystems/modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
dgpv/SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
japgolly/tla2json
Convert TLA+ output (and values) into JSON
Isaac-DeFrain/TLAplusFun
TLA+ questions, answers, and experiments
Starydark/PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
tezedge/tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
decanus/rutschblock
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
VadimPlh/Arrival
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
adlnet/tla
Codebase for the ADL Initiative's Total Learning Architecture (TLA) reference implementation. Once matured and implemented, the TLA will enable personalized, data-driven, and technology-enabled lifelong learning across the DoD, other Federal Government agencies, and beyond.
yetanalytics/xapipe
LRSPipe is an xAPI Statement forwarding/middeware process governed directly by xAPI Profiles.
timewinder-dev/timewinder-prototype
Temporal Logic of Actions Modeling for Python
adlnet/MasterObjectModel
The Master Object Model (MOM) is an xAPI profile that denotes how a student's learning can be tracked throught their entire "lifetime" within the Total Learning Achitecture (TLA).
miguelmota/tla-learning
Some examples and notes while learning TLA+ modeling language.