tlaplus-workshops / ewd998View external linksLinks
Distributed termination detection on a ring, due to Shmuel Safra:
☆52Sep 2, 2024Updated last year
Alternatives and similar repositories for ewd998
Users that are interested in ewd998 are comparing it to the libraries listed below
Sorting:
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆302Jan 20, 2026Updated 3 weeks ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆500Oct 27, 2024Updated last year
- Paxos Made Simple☆20Mar 26, 2023Updated 2 years ago
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- A collection of TLA⁺ specifications of varying complexities.☆1,449Updated this week
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆195Dec 17, 2025Updated last month
- The Concordant Conflict-Free Replicated Datatypes (CRDT) library.☆40Sep 17, 2022Updated 3 years ago
- Website for LauzHack, EPFL's largest hackathon.☆11Dec 23, 2025Updated last month
- A Swiss Army knife for read-write quorum systems☆86Jun 7, 2021Updated 4 years ago
- TLA+ specifications for Raft and variants☆90Jul 18, 2022Updated 3 years ago
- Reverse SSH C2☆28Sep 19, 2025Updated 4 months ago
- Plover plugin for computer aided transcription (CAT)☆16Updated this week
- DX Hub: ignite your Backstage Developer Portal☆12Jul 6, 2024Updated last year
- Website for Reticulum☆19Jan 17, 2026Updated 3 weeks ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 11 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- Go(od) Job is a simple job scheduler that supports task retries, logging, and task sharding.☆12Sep 10, 2024Updated last year
- ☆10Feb 5, 2026Updated last week
- Template for my talks☆10May 1, 2018Updated 7 years ago
- easily write your HTTP handlers in Go with Generics☆11Aug 26, 2025Updated 5 months ago
- The ANTLR 4 Website☆17Aug 3, 2024Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated last year
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- Monolithic software for our mirror☆11Oct 1, 2024Updated last year
- An example of building a distributed key value database, using hashicorp's raft and gossip sdks☆10Apr 21, 2023Updated 2 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- FUSE based AES-CBC encrypted filesystem and encryption tool☆11Nov 12, 2017Updated 8 years ago
- Next-generation Cassandra Conference, September 26, 2017☆12Aug 23, 2018Updated 7 years ago
- PolyLove is a "dating" app to help EPFL and UNIL students meet! Our spirit is quality over quantity: once a day, the app matches two stud…☆10Feb 3, 2021Updated 5 years ago
- CallGate - Awesome Rate-Limiter☆12Jan 8, 2026Updated last month
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。☆44Mar 7, 2022Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Nov 8, 2023Updated 2 years ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago