Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: paxos

paxo-phone/PaxOS-9

Code source de la dernière version du PaxOS

Language: C++ - Size: 48.6 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 31 - Forks: 8

BrianLusina/konsensus

Simple clustering by consensus protocol proof of concept library in Python

Language: Python - Size: 301 KB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 0 - Forks: 0

haraldng/omnipaxos

OmniPaxos is a distributed log implemented as a Rust library.

Language: Rust - Size: 5.96 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 169 - Forks: 26

heidihoward/distributed-consensus-reading-list

A list of papers about distributed consensus.

Size: 239 KB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 2,294 - Forks: 204

anoma/typhon

Formalization of Typhon protocol

Language: TLA - Size: 206 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 26 - Forks: 3

theanalyst/awesome-distributed-systems

A curated list to learn about distributed systems

Size: 97.7 KB - Last synced: 9 days ago - Pushed: about 2 months ago - Stars: 10,239 - Forks: 1,413

dgryski/awesome-consensus

Awesome list for Paxos and friends

Size: 32.2 KB - Last synced: 9 days ago - Pushed: about 3 years ago - Stars: 2,011 - Forks: 203

oldratlee/translations

🐼 Chinese translations for classic software development resources

Size: 13.8 MB - Last synced: 12 days ago - Pushed: 12 months ago - Stars: 6,790 - Forks: 1,552

stepchowfun/paxos

An implementation of single-decree Paxos.

Language: Rust - Size: 276 KB - Last synced: 14 days ago - Pushed: 15 days ago - Stars: 11 - Forks: 1

qkniep/multi-paxos-rs

Multi-Paxos replicated log in Rust

Language: Rust - Size: 91.8 KB - Last synced: 27 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

lni/dragonboat

A feature complete and high performance multi-group Raft library in Go.

Language: Go - Size: 6.34 MB - Last synced: 28 days ago - Pushed: 4 months ago - Stars: 4,942 - Forks: 529

Aveek-Saha/paxos-db

A distributed key value store using multi paxos to achieve consensus

Language: Java - Size: 448 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

Dooping/PAXOS-vs-Dynamo

Distributed Systems Algorithms Final Project

Language: Scala - Size: 841 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

hoanhan101/young-paxos

Paxos consensus protocol

Language: Python - Size: 15.6 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

gryadka/js

Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol

Language: JavaScript - Size: 493 KB - Last synced: 29 days ago - Pushed: almost 6 years ago - Stars: 327 - Forks: 32

drmingdrmer/consensus-essence

distributed consensus protocol's bugs, flaws, deceptive traps, improvements

Language: Makefile - Size: 11.1 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 100 - Forks: 4

aanciaes/ASD-Project1 📦

Distributed Systems and Algorithms Project Phase 1 and 2

Language: Scala - Size: 707 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

shihuili1218/klein

🔥 Klein is a Paxos based distributed collection tool library, including distributed ArrayList, distributed HashMap, distributed Cache, distributed Lock, etc..

Language: Java - Size: 1.16 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 247 - Forks: 15

isno/theByteBook

⭐ 【开源书籍】深入讲解内核网络、Kubernetes、ServiceMesh、容器等云原生相关技术。经历实践检验的 DevOps、SRE指南。如发现错误,谢谢提issue

Language: JavaScript - Size: 118 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 6,172 - Forks: 370

oceanbase/oceanbase

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

Language: C++ - Size: 340 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 7,332 - Forks: 1,500

kmchandy/kmchandy.github.io

Short self-contained descriptions of distributed algorithms suitable for 2nd year undergraduates.

Language: HTML - Size: 187 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 4 - Forks: 1

stateright/stateright

A model checker for implementing distributed systems.

Language: Rust - Size: 2.69 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1,510 - Forks: 53

Tencent/paxosstore

PaxosStore has been deployed in WeChat production for more than two years, providing storage services for the core businesses of WeChat backend. Now PaxosStore is running on thousands of machines, and is able to afford billions of peak TPS.

Language: C++ - Size: 1.47 MB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 1,651 - Forks: 335

matrixorigin/matrixcube

Fundamental Building Block for Elastic Storage With Strong Consistency and Reliability

Language: Go - Size: 3.96 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 201 - Forks: 44

benschulz/paxakos

Rust implementation of Paxos consensus algorithm

Language: Rust - Size: 7.81 MB - Last synced: 18 days ago - Pushed: over 1 year ago - Stars: 100 - Forks: 4

ralgond/paxos

A Java implementation of Paxos algorithm

Language: Java - Size: 165 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

nerocho/paxos-simple

go paxos demo

Language: Go - Size: 4.88 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Khighness/highness-paxos-kv

Basic paxos kv store

Language: Go - Size: 47.9 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

zowens/paxos-rs

Paxos implementation in Rust

Language: Rust - Size: 304 KB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 72 - Forks: 9

Fraccaman/MultiPaxos

Python implementation of Multipaxos

Language: Python - Size: 47.9 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

hnes/turingcell

TuringCell: Run Linux over Paxos/Raft

Size: 1.51 MB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

hnes/paxos-made-easy

Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm

Size: 671 KB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 6 - Forks: 0

Nillouise/Paxos

A toy Paxos implement by C# that can display the commucaition between Acceptor and Proposer.

Language: C# - Size: 86.9 KB - Last synced: 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

dubuqingfeng/papers

some papers.

Size: 5.13 MB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

dibyendumajumdar/paxos

Basic and Multi Paxos in Java

Language: Java - Size: 321 KB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

wenke1020/SmartConsensus

This project is targeted to implementing kinds of consensus algorithm for different scenarios of blockchain software.

Language: C++ - Size: 14.6 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

nvanbenschoten/epaxos

A pluggable implementation of the Egalitarian Paxos Consensus Protocol

Language: Go - Size: 46.3 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 56 - Forks: 11

findstr/paxos-classic

A sample code of paxos implement

Language: Lua - Size: 4.88 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

infinit/elle

The Elle coroutine-based asynchronous C++ development framework.

Language: C++ - Size: 330 MB - Last synced: 26 days ago - Pushed: about 1 year ago - Stars: 475 - Forks: 45

ailidani/paxi

Paxos protocol framework

Language: Go - Size: 677 KB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 540 - Forks: 71

paxo-phone/PaxOS-8

Code source du système d'exploitation du PaxoPhone

Language: C - Size: 243 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 454 - Forks: 40

rystsov/caspaxos

CASPaxos: Replicated State Machines without logs

Language: TeX - Size: 3.28 MB - Last synced: 29 days ago - Pushed: over 5 years ago - Stars: 90 - Forks: 11

qidian99/MIT-6-824

MIT 6.824 Distributed Systems, SP 2020

Language: Go - Size: 1.78 MB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

raymonddeng99/distributed-consensus

Paxos variants and internet-scale blockchains

Language: C++ - Size: 55.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

aQuaYi/Distributed-Algorithms

利用 Go 语言实现多种分布式算法

Language: Go - Size: 4.59 MB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 55 - Forks: 7

nwtnni/paxos

Distributed consensus protocol for replicated state machines

Language: Rust - Size: 188 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 58 - Forks: 0

TrekkiDefi/paxos_raft_protocol

分布式一致性协议相关论文及中文译文,涵盖Paxos、Raft、Zab

Size: 6.16 MB - Last synced: 4 months ago - Pushed: over 5 years ago - Stars: 327 - Forks: 81

stonysystems/rolis

Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions

Language: C++ - Size: 10.6 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 13 - Forks: 3

tariel-x/stream

Στρεαμ is the simple distributed stream-processing system

Language: Go - Size: 51.8 KB - Last synced: 6 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 2

turingcell/turingcell

TuringCell: Run Linux over Paxos/Raft

Language: C - Size: 2.62 MB - Last synced: 3 months ago - Pushed: about 4 years ago - Stars: 77 - Forks: 4

haraldng/omnipaxos-playground

Playground to visualize OmniPaxos.

Language: Shell - Size: 12.7 MB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 6 - Forks: 0

luohaha/MyPaxos

My multi-paxos service implement :-)

Language: Java - Size: 87.9 KB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 140 - Forks: 45

kyuds/paxos

Paxos consensus simulator

Language: C++ - Size: 1000 Bytes - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

wuba/WPaxos

A production-grade java implementation of paxos consensus algorithm

Language: Java - Size: 901 KB - Last synced: 7 months ago - Pushed: 12 months ago - Stars: 193 - Forks: 63

irbowen/Sharded_Key_Value_Store

A distributed, sharded key value store, backed by paxos, written in C++

Language: C++ - Size: 2.85 MB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0

SwethasriKavuri/Paxos-in-DistAlgo

Extending Basic Paxos and Multi Paxos into a version with preemption and implemented correctness testing, performance testing in DistAlgo

Language: Python - Size: 54.7 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

wuba/WLock

A high-reliable, high-throughput distributed lock service based on the consensus algorithm component WPaxos.

Language: Java - Size: 267 MB - Last synced: 7 months ago - Pushed: 10 months ago - Stars: 162 - Forks: 19

cschanck/single-file-java

One file, one piece of functionality. No dependencies.

Language: Java - Size: 11.1 MB - Last synced: 6 months ago - Pushed: over 3 years ago - Stars: 51 - Forks: 6

shenweihai1/rolis-eurosys2022

Rolis: a software approach to efficiently replicating multi-core transactions; eurosys2022

Language: C++ - Size: 7.98 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 4

turingcell/paxos-made-easy

Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm

Size: 683 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 140 - Forks: 21

kylecrsn/Raftosk

A Java implementation of a distributed ticketing kiosk system based on RAFT

Language: Java - Size: 158 KB - Last synced: 8 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

Pablololo12/paxos_server_elixir

A Key-Value paxos server on Elixir

Language: Elixir - Size: 42 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

TonyZhangND/paxos_proof

Specification and proof of the Paxos protocol in Dafny

Language: Dafny - Size: 577 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 2

alperari/paxos

Python implementation of Synchronous Paxos Algorithm which aims to solve Single Value Distributed Consensus Problem (with ZMQ socket programming).

Language: Python - Size: 26.4 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

eddiearc/eddie-cache

A distributed cache system based on memory and disk storage.

Language: Java - Size: 4.52 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 11 - Forks: 2

andrewlee302/MIT-6.824

Implementation of MIT 6.824: Distributed Systems

Language: Go - Size: 1.47 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 16 - Forks: 2

Denbergvanthijs/PaxosAlgorithm

Implementation of the Paxos Algorithm

Language: Python - Size: 39.1 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

duanshuaimin/atlasdb Fork of palantir/atlasdb

Transactional Distributed Database Layer

Language: Java - Size: 37.7 MB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

erisata/paxoid

Paxos based masterless ID/Sequence generator.

Language: Erlang - Size: 48.8 KB - Last synced: 10 months ago - Pushed: almost 5 years ago - Stars: 20 - Forks: 2

andreycizov/python-epaxos

PyDSM - Reference epaxos implementation for Python3.6

Language: Python - Size: 280 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 3 - Forks: 2

hengxin/lwt-tla

TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos

Language: TeX - Size: 5.52 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

MasahikoSawada/paxos_c

Paxos implementation in C.

Language: C - Size: 14.6 KB - Last synced: 10 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1

xiejisheng/SelectMaster

实现简单的选主,分布式锁,服务发现注册功能

Language: Java - Size: 70.3 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1

alaattinyilmaz/paxos

Synchronous Paxos algorithm implementation.

Language: Python - Size: 260 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

nytopop/blip

Write you an in-process gRPC service mesh.

Language: Rust - Size: 241 KB - Last synced: 17 days ago - Pushed: about 2 years ago - Stars: 30 - Forks: 3

josephjang/single-decree-paxos-go

A Go implementation of Single-decree Paxos for personal study.

Language: Go - Size: 15.6 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

RichardKnop/paxos

Golang implentation of paxos consensus algorithm

Language: Go - Size: 132 KB - Last synced: 11 months ago - Pushed: almost 5 years ago - Stars: 46 - Forks: 7

esposem/Kernel_Paxos

Kernel Module that implements Paxos protocol

Language: C - Size: 1.01 MB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 9 - Forks: 6

openacid/mmp3

multi-master-paxos with 3 nodes

Language: Go - Size: 2.5 MB - Last synced: 11 months ago - Pushed: about 2 years ago - Stars: 10 - Forks: 2

nvanbenschoten/paxos

A pluggable implementation of the Paxos Consensus Protocol

Language: Go - Size: 15.2 MB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 18 - Forks: 4

pranavr93/chat_service

Distributed chat service using paxos

Language: C++ - Size: 2.71 MB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 2 - Forks: 0

ExcaliburZero/distributed-auction-game Fork of CSC445-18S-GroupC/distributed-auction-game

A Distributed Auction Game using Paxos made for CSC445.

Language: Java - Size: 156 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

certichain/network-transformations

A Framework for building Distributed Consensus Protocols

Language: Scala - Size: 155 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 10 - Forks: 0

xiaonanln/distributed-system-papers-must-read

Collect must-read papers on distributed systems

Size: 10.6 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 8 - Forks: 1

yilong2001/yl-paxos

Paxos协议的一个工程实现

Language: Scala - Size: 24.4 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 3 - Forks: 1

zzy590/zpaxos

C++ header only multi-paxos library.

Language: C++ - Size: 236 KB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 34 - Forks: 3

cizixs/awesome-raft

Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.

Size: 7.81 KB - Last synced: 6 days ago - Pushed: about 5 years ago - Stars: 33 - Forks: 6

zhayujie/blockchain-simulator

Some simulations of blockchain consensus based on ns3. Currently implemented consensus protocols include Raft, Paxos and PBFT.

Language: C++ - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 21 - Forks: 7

fpaxos/fpaxos-tlaplus

TLA+ specification of Flexible Paxos

Language: TLA - Size: 49.8 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 35 - Forks: 1

komuw/kshaka

Kshaka is a Go implementation of the CASPaxos consensus protocol.

Language: Go - Size: 147 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 24 - Forks: 2

andrewlee302/distributed-system

Creative and educational project for distributed system

Language: Go - Size: 1.13 MB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 17 - Forks: 4

simonalong/rafter

Rafter:实现raft算法的一个框架,该框架不做持久化存储,但是提供了接口,可以跟任何一个持久化存储系统结合,成为一个强一致性的分布式系统,待开发中

Language: Java - Size: 16.6 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

pranavr93/sharded_key_value_store

A distributed, sharded key value store, backed by paxos, written in C++

Language: C++ - Size: 2.78 MB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 4 - Forks: 0

phlalx/yfs

MIT Distributed systems labs 6.824 - Spring 2012

Language: C++ - Size: 134 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 1

amintalebi/paxos

Paxos Algorithm Implementation in Python

Language: Python - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

liu-jianhao/yfsCpp11

yfs是一个分布式文件系统(mit6.824)

Language: C++ - Size: 378 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 51 - Forks: 9

moonwonlee/blockchain

blockchain

Language: HTML - Size: 85.5 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

saimihirj/raft_consensus_algorithm Fork of GauravJayaraj/dsproject_raft

DS Project: A fault-tolerant distributed key-value store using the Raft consensus algorithm

Language: Python - Size: 107 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

liu-jianhao/Raft-Paxos-Sample

MIT6.824实现分布式一致性算法——Raft&Paxos

Language: Go - Size: 69.3 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 40 - Forks: 14

passcod/ppaxos 📦

An efficient client-based Paxos algorithm that maintains globally consistent state among multiple passive storage backends

Language: Rust - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0