Cjen1/consensus-tlaplus external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Cjen1/consensus-tlaplus

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Cjen1/consensus-tlaplus)

Close

Cjen1 / consensus-tlaplusView on GitHubMore

• External links
• Readme badge

☆11Oct 21, 2024Updated last year

Alternatives and similar repositories for consensus-tlaplus

Users that are interested in consensus-tlaplus are comparing it to the libraries listed below

• Cjen1 / OCons

  View on GitHub
  ☆13Nov 10, 2024Updated last year
• Cjen1 / reckon

  View on GitHub
  ☆15Sep 10, 2024Updated last year
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆15Dec 16, 2024Updated last year
• mwhittaker / quoracle

  View on GitHub
  A Swiss Army knife for read-write quorum systems
  ☆86Jun 7, 2021Updated 4 years ago
• will62794 / endive

  View on GitHub
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆21Jan 19, 2026Updated 2 months ago
• informalsystems / tla-apalache-workshop

  View on GitHub
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Apr 17, 2023Updated 2 years ago
• nano-o / MultiPaxos

  View on GitHub
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Jan 23, 2023Updated 3 years ago
• dranov / raft-tla

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• otrack / on-epaxos-correctness

  View on GitHub
  On the correctness of Egalitarian Paxos
  ☆19Jun 27, 2019Updated 6 years ago
• aman-goel / ivybench

  View on GitHub
  Collection of Distributed Protocol Verification Problems
  ☆15Apr 27, 2024Updated last year
• decentralizedthoughts / decentralizedthoughts.github.io

  View on GitHub
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆36Updated this week
• Vanlightly / raft-tlaplus

  View on GitHub
  TLA+ specifications for Raft and variants
  ☆90Jul 18, 2022Updated 3 years ago
• will62794 / spectacle

  View on GitHub
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆190Feb 27, 2026Updated 3 weeks ago
• tlaplus / tlapm

  View on GitHub
  The TLA⁺ Proof Manager
  ☆109Jan 15, 2026Updated 2 months ago
• tlaplus-community / tlauc

  View on GitHub
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆41Jul 22, 2025Updated 8 months ago
• fpaxos / ffpaxos-tlaplus

  View on GitHub
  TLA+ specification of Fast Flexible Paxos
  ☆17Oct 9, 2020Updated 5 years ago
• lorin / tla-linearizability

  View on GitHub
  Reading the linearizability paper with TLA+
  ☆51Apr 24, 2022Updated 3 years ago
• dedis / quepaxa

  View on GitHub
  This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
  ☆36Updated this week
• dranov / protocol-bugs-list

  View on GitHub
  List of bugs found in distributed protocols
  ☆207May 15, 2024Updated last year
• fpaxos / fpaxos-tlaplus

  View on GitHub
  TLA+ specification of Flexible Paxos
  ☆42Sep 29, 2023Updated 2 years ago
• n0g / arcane

  View on GitHub
  Don't let *them* read your mail. Encrypt it now.
  ☆18Jun 13, 2018Updated 7 years ago
• sdb-replica / hermes-replication

  View on GitHub
  ☆12Feb 18, 2025Updated last year
• yansh / MoanaML

  View on GitHub
  Moana implementation in OCaml
  ☆16Jul 15, 2015Updated 10 years ago
• harmonylang / harmony

  View on GitHub
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆33Feb 20, 2026Updated last month
• mryndzionek / tlaplus_specs

  View on GitHub
  Different TLA+ specifications, mostly for learning purposes
  ☆31May 6, 2024Updated last year
• tlaplus / PlusPy

  View on GitHub
  Python interpreter for TLA+ specifications
  ☆118Jun 2, 2024Updated last year
• abak / openjdk-hsdis

  View on GitHub
  OpenJDK disassembler plugin for HotSpot JVM (based on binutils)
  ☆10Sep 17, 2014Updated 11 years ago
• P4xos / P4xos

  View on GitHub
  ☆11Sep 22, 2017Updated 8 years ago
• emfcamp / developer.emfcamp.org

  View on GitHub
  Developer documentation for EMF APIs
  ☆14May 29, 2024Updated last year
• timewinder-dev / timewinder-prototype

  View on GitHub
  Temporal Logic of Actions Modeling for Python
  ☆11Mar 27, 2021Updated 4 years ago
• pron / amazon-snapshot-spec

  View on GitHub
  TLA+ and Alloy specs of database isolation
  ☆21Oct 13, 2015Updated 10 years ago
• el10savio / goSetReconciliation

  View on GitHub
  Sync distributed sets using bloom filters
  ☆26Nov 4, 2021Updated 4 years ago
• mwhittaker / linearizability

  View on GitHub
  Linearizability Visualizer
  ☆10Jan 24, 2015Updated 11 years ago
• neuroglia-io / framework

  View on GitHub
  A collection of libraries to extend the .NET Framework
  ☆13Aug 18, 2025Updated 7 months ago
• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year
• automl / pysmac

  View on GitHub
  simple python interface to SMAC.
  ☆21Mar 27, 2018Updated 7 years ago
• lorin / virtual-threads-tla

  View on GitHub
  Reproduce a Java 21 virtual threads deadlock scenario in TLA+
  ☆10Aug 2, 2024Updated last year
• jonhoo / bystander

  View on GitHub
  ☆30Jun 13, 2021Updated 4 years ago
• hansenms / minecraft-server

  View on GitHub
  Running Minecraft servers in Kubernetes
  ☆10Oct 22, 2023Updated 2 years ago