tla
Here are 112 public repositories matching this topic...
Parser and syntax tree for TLA+, the temporal logic of actions
-
Updated
Dec 24, 2025 - Python
This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
-
Updated
May 5, 2016 - Java
-
Updated
Dec 6, 2019 - TLA
Some examples and notes while learning TLA+ modeling language.
-
Updated
Jun 27, 2021
Implemented 2 phase commit protocol with fault tolerance
-
Updated
Jan 17, 2018 - TeX
Hybrid RAG system for translating Ancient Egyptian transliterations using the TLA dataset.
-
Updated
Feb 8, 2026 - Jupyter Notebook
TLA+ model of some SAFE network stuff
-
Updated
Feb 28, 2017 - TLA
Temporal Logic of Actions in Rust via Starlark
-
Updated
Oct 30, 2023 - Starlark
Self-supervising TLA+ formal verification loop — an LLM agent iteratively writes specs and fixes bugs, using the TLC model checker as an incorruptible evaluator. Inspired by Karpathy's autoresearch.
-
Updated
Aug 10, 2026 - Python
TLAPS machine-checked safety proofs for the Vortex DSE deterministic C-slot admission model (TypeInvariant + NoFutureAdmission).
-
Updated
Aug 10, 2026 - TLA
Vortex DSE — Deterministic Consensus at the Physical Lower Bound. Whitepaper + figures. CC BY-NC-ND 4.0.
-
Updated
Aug 10, 2026
Improve this page
Add a description, image, and links to the tla topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tla topic, visit your repo's landing page and select "manage topics."