Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with tla

A curated list of projects in awesome lists tagged with tla .

https://github.com/tlaplus/tlaplus

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

algorithms high-performance java mit-license model-checking specifications tla verification

Last synced: 03 Jul 2026

https://github.com/spacejam/tla-rust

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

distributed lock-free model-checking rust tla

Last synced: 04 Apr 2025

https://github.com/apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

apalache model-checking quint smt tla tlaplus verification

Last synced: 04 Mar 2026

https://github.com/lemmy/blockingqueue

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

fifo fifo-queue java model-checking specification tla tlaplus tlaps

Last synced: 16 May 2025

https://github.com/lemmy/BlockingQueue

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

fifo fifo-queue java model-checking specification tla tlaplus tlaps

Last synced: 26 Mar 2025

https://github.com/fizzbee-io/fizzbee

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

alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus

Last synced: 21 May 2026

https://github.com/hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!

book formal-methods formal-specification formal-verification tla tlaplus

Last synced: 26 Jan 2026

https://github.com/will62794/spectacle

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

formal-methods formal-specification model-checking tla tlaplus verification visualization

Last synced: 10 Aug 2025

https://github.com/kelvich/tlaplus_jupyter

Jupyter kernel for TLA⁺

jupyter-kernel model-checking tla

Last synced: 14 Aug 2025

https://github.com/tlaplus/pluspy

Python interpreter for TLA+ specifications

interpreter python tla

Last synced: 10 Apr 2025

https://github.com/lemmy/lets-prove-blocking-queue

Proving a blocking queue deadlock free in a dozen different ways

algorithm concurrency deadlock-freedom proof tla tlaplus

Last synced: 29 Jan 2026

https://github.com/will62794/tlaplus_repl

A simple REPL for TLA+.

formal-verification model-checking tla

Last synced: 16 Mar 2025

https://github.com/mrc/tla-tools

TLA+ tools for Emacs

emacs emacs-mode pluscal tla tlaplus

Last synced: 22 Jul 2025

https://github.com/mryndzionek/tlaplus_specs

Different TLA+ specifications, mostly for learning purposes

graphviz model-checking tla tla-specifications tlaplus

Last synced: 27 Jan 2026

https://github.com/isaac-defrain/tlaplusfun

TLA+ questions, answers, and experiments

formal-verification tla tlaplus

Last synced: 16 Feb 2026

https://github.com/starydark/paxosstore-tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

refinement tla

Last synced: 06 Feb 2026

https://github.com/japgolly/tla2json

Convert TLA+ output (and values) into JSON

json tla tla-plus tlaplus tlc

Last synced: 28 Oct 2025

https://github.com/tezedge/tezedge-specification

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

formal-verification tezos tezos-blockchain tla tla-specification tlaplus

Last synced: 21 Jul 2025

https://github.com/decanus/rutschblock

A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+

formal-specification tla tla-specification tlaplus

Last synced: 25 Jan 2026

https://github.com/yetanalytics/xapipe

LRSPipe is an xAPI Statement forwarding/middeware process governed directly by xAPI Profiles.

json-ld lrs tla xapi xapi-profiles

Last synced: 29 Oct 2025

https://github.com/rberenguel/tla_lightning

Lightning talk about TLA+ for Scala Exchange 2018

akka pluscal tla

Last synced: 03 Aug 2025

https://github.com/hengxin/tla2tex

TLA+ Code to TeX Code using tla2tools.jar

tex tla tla2tex tlaplus

Last synced: 16 Jul 2026

https://github.com/tlaplus/lecture

The TLA+ Video Course by Leslie Lamport

tla tla-plus tla-specification tlaplus

Last synced: 05 Mar 2026

https://github.com/vacp2p/formalities

Formal models of vac protocols

formal-methods formal-specification tla tlaplus

Last synced: 05 Jan 2026

https://github.com/s12f/tlads

TLA+ and Distributed/Discrete Systems.

distributed-systems model-checking tla tlaplus

Last synced: 18 Feb 2026

https://github.com/appliedfm/growth-data

Measuring the growth of open source formal methods

ada agda appliedfm coq idris isabelle lean tla

Last synced: 25 Oct 2025

https://github.com/michaelsproul/safe-tla

TLA+ model of some SAFE network stuff

distributed-systems formal-methods safe-network tla verification

Last synced: 17 Feb 2026

https://github.com/konnov/apalache-examples

Examples of efficiently using Apalache

apalache examples modelchecking tla tlaplus

Last synced: 27 Feb 2026

https://github.com/manifoldfinance/tla-spec

tla++ proofs and verifications

distributed fault-tolerance pcal tla tlaplus

Last synced: 19 Mar 2026

https://github.com/hvanz/paxosinpluscal

Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.

distributed-systems formal-proofs formal-specification formal-verification paxos pluscal tla tlaplus verification

Last synced: 26 Jan 2026

https://github.com/foreverbell/rules_tla

Bazel rules for TLA+.

bazel bazel-rules tla

Last synced: 19 Apr 2026

https://github.com/can1357/pluscal-help

A beautiful, dark-mode cheat sheet for PlusCal.

astro cheatsheet documentation formal-methods pluscal tla tlaplus

Last synced: 09 Oct 2025

https://github.com/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 14 Aug 2025

https://github.com/cfm/cookiecutter-tla

minimal cookiecutter template for new TLA+ modules

cookiecutter tla

Last synced: 19 Mar 2026

https://github.com/konnov/apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

apalache client model-based-testing model-checking quint symbolic-execution testing tla tlaplus

Last synced: 01 Apr 2026

https://github.com/see-quick/verification

Just a bunch off stuff related to formal verification of Strimzi, Kafka and compilers related..

antlr4 arm64 asm assembly automation c compiler compilers formal-verification go golang quint rust testing tla tla-plus

Last synced: 04 Mar 2026

https://github.com/johnyf/tlapy

Python utilities for working with TLA+ specifications

formal-methods specification tla tlaplus utilities

Last synced: 10 Apr 2026

https://github.com/orsinium-labs/simple-tla

Collection of useful "operators" (functions) to make TLA+ easier to learn and to use

formal-methods learning pluscal testing tla tlaplus verification

Last synced: 19 Mar 2026

https://github.com/hengxin/lwt-tla

TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos

caspaxos cassandra lightweight-transactions paxos scylladb tla

Last synced: 13 Jun 2026

https://github.com/johnyf/latex_packages

LaTeX style-files for graphics and mathematics

graphics latex svg svglatex tla tlaplus

Last synced: 14 Jun 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 02 Apr 2025

https://github.com/hwayne/tla-labs

Prototyping a few guided labs for TLA+

labs tla

Last synced: 23 Feb 2026

https://github.com/skhoroshavin/tla_playground

Learning and experimenting with TLA toy models

pluscal tla tlaplus

Last synced: 17 Feb 2026

https://github.com/adlnet/2019-tla-lem

Reference repository for the LEM services used for the 2019 TLA reference implementation.

tla

Last synced: 06 Feb 2026

https://github.com/flakas/tla-experiments

Experimenting with formal methods using TLA+ and Pluscal

pluscal tla tlaplus

Last synced: 02 Jan 2026