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

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

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.

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 😉)

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

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

Implementation of two-phase commit protocol for course CS380D

A distributed and parallel key-value store implemented using MPI (Message Passing Interface) and OpenMP.

simple Two Phase Commit protocol implementation in Java

Distributed transaction protocol implementation in Golang

Notification systems with micro services in Elixir. Building distributed applications course

Semester-long project for COMP 512, 'Distributed Systems', taught by Bettine Kimme, Fall 2018