lemmy

BlockingQueue

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

ewd998

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

lets-prove-blocking-queue

Proving a blocking queue deadlock free in a dozen different ways

vscode-tlaplus

TLA+ language support for Visual Studio Code

azure-cosmos-tla

KeyValueStore

PageQueue

aici

AI Controller Interface

ansi-to-react

:guardsman: ANSI to React

apalache

APALACHE: symbolic model checker for TLA+ and Quint

azure-docs

Open source documentation of Microsoft Azure

CCF

Confidential Consortium Framework

CommunityModules

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

everparse

Automated generation of provably secure, zero-copy parsers from format specifications

Examples

A collection of TLA+ specifications of varying complexities

extended-raft-paper

FMLangStats

Github Language Statistics

metered-billing-accelerator

P

The P programming language.

pbft-tlaplus

Formal specification of PBFT in TLA+

pgo

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

pirateship-tla

raft

Raft library for maintaining a replicated state machine

tla-web

TLA+ Web Explorer Prototype

tlaplus

PRIVATE mirror of https://github.com/tlaplus/tlaplus/ - I rewrite history!

tlapm

The TLA Proof Manager

tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

tree-sitter-wasms

Prebuilt WASM binaries for tree-sitter's language parsers.

TwoPhase

wireshark

Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. ⚠️ GitHub won't let us disable pull requests. ⚠️ THEY WILL BE IGNORED HERE ⚠️ Upload them at GitLab instead.