two-phase-commit

Atomikos TransactionsEssentials — the open-source JTA/XA transaction manager for Java: distributed transactions across databases and message brokers, with automatic crash recovery. Embeddable, no application server required.

ByteJTA is a distributed transaction manager based on the XA/2PC mechanism. It’s compatible with the JTA specification. User guide: https://github.com/liuyangming/ByteJTA/wiki

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

System design exercises by Arpit Bhayani

Interactive Raft consensus visualizer. Crash nodes, partition the network, cut single links one-way, and watch elections and log repair play out — with every safety invariant machine-checked against the paper.

Autonomous SAP S/4HANA & ServiceNow Supply Chain Multi-Agent Swarm on Azure AI Foundry with Two-Phase Commit Safety

Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang

Experimental Convex backend fork aiming to scale Convex horizontally while preserving its core semantics: reactive subscriptions, serializable transactions, and consistent snapshots.

a Golang library for implementing two phase commit transactions in PostgreSQL, ensuring atomicity and consistency across distributed systems.

a collection of distributed algorithms (on PeerJS which uses WebRTC)

rains-transaction专为dubbo量身定做的的强一致性分布式事务;二阶段提交+本地事务补偿机制来实现。

Demo Project for Spring State Machine

Simulate a Bitcoin-like network (Assignment for COP 701 @ IIT Delhi)

A 2PC platform for having transactionality in distributed systems. (although it's not technically a good thing to do 😉)

Simple console implementation of Two Phase commit using c# and ADO.Net

This project is just for practice in MongoDB, Express and Fawn libraries.

⚡ Crash-consistent Two-Phase Commit (2PC) & WAL engine for AI agent workflows. Zero dirty state, zero hallucinated rollbacks.

Implementation of two-phase commit protocol for course CS380D

Rust 分布式事务管理器 / 分布式事务框架（DTM 协议兼容）· Distributed transaction manager in Rust — SAGA / TCC / 二阶段消息 two-phase messaging / XA / workflow, embeddable as a library, HTTP + gRPC, Python/Node/Java/C bindings. Apache-2.0.

Distributed transaction protocol implementation in Golang