Topic: paxos Goto Github

👇 Here are 173 public repositories matching this topic...

ailidani / paxi
paxos,Paxos protocol framework
User: ailidani
paxos wan wpaxos

andrewlee302 / distributed-system
paxos,Creative and educational project for distributed system
User: andrewlee302
distributed-systems golang twophasecommit keyvaluestore http paxos transaction education graduate-course consensus

andrewlee302 / mit-6.824
paxos,Implementation of MIT 6.824: Distributed Systems
User: andrewlee302
paxos golang distributed-systems fault-tolerance shard-databases kvstore lab course-project

anoma / typhon
paxos,Formalization of Typhon protocol
Organization: anoma
Home Page: https://specs.anoma.net/main/architecture/consensus/typhon.html
blockchain consensus p2p distributed-systems paxos

aquayi / distributed-algorithms
paxos,利用 Go 语言实现多种分布式算法
User: aquayi
demos distributed-algorithms distributed-systems go golang paxos raft

benschulz / paxakos
paxos,Rust implementation of Paxos consensus algorithm
User: benschulz
Home Page: https://benschulz.github.io/paxakos/playground/?#
distributed paxos consensus rust

cizixs / awesome-raft
paxos,Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.
User: cizixs
raft raft-consensus-algorithm consensus-algorithm consensus paxos distributed-systems

cschanck / single-file-java
paxos,One file, one piece of functionality. No dependencies.
User: cschanck
Home Page: http://www.singlefilejava.org
parser paxos java-utils minimalist csv-parser kvstore dotty

dgryski / awesome-consensus
paxos,Awesome list for Paxos and friends
User: dgryski
paxos consensus-algorithm raft awesome

drmingdrmer / consensus-essence
paxos,distributed consensus protocol's bugs, flaws, deceptive traps, improvements
User: drmingdrmer
paxos raft distributed-systems

erisata / paxoid
paxos,Paxos based masterless ID/Sequence generator.
Organization: erisata
erlang paxos sequence

fpaxos / ffpaxos-tlaplus
paxos,TLA+ specification of Fast Flexible Paxos
Organization: fpaxos
Home Page: https://arxiv.org/abs/2008.02671
tla-specification distributed-systems paxos fast-flexible-paxos

fpaxos / fpaxos-tlaplus
paxos,TLA+ specification of Flexible Paxos
Organization: fpaxos
Home Page: http://drops.dagstuhl.de/opus/volltexte/2017/7094/pdf/LIPIcs-OPODIS-2016-25.pdf
tla-specification tla paxos distributed-algorithms

gryadka / js
paxos,Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
Organization: gryadka
Home Page: https://arxiv.org/abs/1802.07000
caspaxos paxos redis-cluster consensus distributed-database key-value distributed-systems

haraldng / omnipaxos
paxos,OmniPaxos is a distributed log implemented as a Rust library.
User: haraldng
Home Page: https://omnipaxos.com
rust distributed-systems consensus paxos raft replication fault-tolerance

heidihoward / distributed-consensus-reading-list
paxos,A list of papers about distributed consensus.
User: heidihoward
Home Page: https://heidihoward.github.io/distributed-consensus-reading-list/
distributed-systems paxos atomic-broadcast-protocol zookeeper fault-tolerance distributed-computing consensus-algorithms quorum-systems state-machine-replication consistency

infinit / elle
paxos,The Elle coroutine-based asynchronous C++ development framework.
Organization: infinit
elle infinit coroutines fibers asynchronous cryptography rpc serialization cpp14 cpp

isno / thebytebook
paxos,⭐ 【开源书籍】深入讲解内核网络、Kubernetes、ServiceMesh、容器等云原生相关技术。经历实践检验的 DevOps、SRE指南。如发现错误，谢谢提issue
User: isno
Home Page: https://www.thebyte.com.cn
container distributed-systems finops kubernetes service-mesh cloud-native paas networking devops sre

komuw / kshaka
paxos,Kshaka is a Go implementation of the CASPaxos consensus protocol.
User: komuw
caspaxos paxos raft

liu-jianhao / raft-paxos-sample
paxos,MIT6.824实现分布式一致性算法——Raft&Paxos
User: liu-jianhao
raft paxos distributed golang database consensus

liu-jianhao / yfscpp11
paxos,yfs是一个分布式文件系统(mit6.824)
User: liu-jianhao
distributed-systems filesystem cpp cpp11 mit posix-threads fuse paxos

lni / dragonboat
paxos,A feature complete and high performance multi-group Raft library in Go.
User: lni
raft paxos golang go distributed-systems raft-protocol raft-algorithm consensus replicated-state-machines distributed-storage

luohaha / mypaxos
paxos,My multi-paxos service implement :-)
User: luohaha
multi-paxos paxos

matrixorigin / matrixcube
paxos,Fundamental Building Block for Elastic Storage With Strong Consistency and Reliability
Organization: matrixorigin
distributed-systems cloud-native consensus raft paxos distributed-storage go

nvanbenschoten / epaxos
paxos,A pluggable implementation of the Egalitarian Paxos Consensus Protocol
User: nvanbenschoten
egalitarian paxos consensus replication distributed-systems

nvanbenschoten / paxos
paxos,A pluggable implementation of the Paxos Consensus Protocol
User: nvanbenschoten
paxos consensus replication distributed-systems

nwtnni / paxos
paxos,Distributed consensus protocol for replicated state machines
User: nwtnni
paxos replicated-state-machine rust distributed-systems

nytopop / blip
paxos,Write you an in-process gRPC service mesh.
User: nytopop
grpc membership service-mesh service-discovery paxos async

oceanbase / oceanbase
paxos,OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.
Organization: oceanbase
Home Page: https://open.oceanbase.com
oceanbase paxos htap cloud-database cloud-native cplusplus databases distributed-computation distributed-databases distributed-transactions

oldratlee / translations
paxos,🐼 Chinese translations for classic software development resources
User: oldratlee
Home Page: https://github.com/oldratlee/translations
translation chinese-translation lisp erlang elixir git design distributed-systems paxos python design-principle consensus experiment api api-design simplified-chinese translations reactive concurrency functional-programming

paxo-phone / paxos-8
paxos,Code source du système d'exploitation du PaxoPhone
Organization: paxo-phone
Home Page: https://www.paxo.fr
cpp emulator esp32 lightphone lua operating-system os paxos phone smartphone

paxo-phone / paxos-9
paxos,Code source de la dernière version du PaxOS
Organization: paxo-phone
Home Page: https://www.paxo.fr
cpp esp32 operating-system os paxo paxos

realxujiang / paper
paxos,Computer Foundations Practices
User: realxujiang
algorithms os data raft paxos language-learning distributed-system ai

richardknop / paxos
paxos,Golang implentation of paxos consensus algorithm
User: richardknop
go golang paxos

rystsov / caspaxos
paxos,CASPaxos: Replicated State Machines without logs
User: rystsov
caspaxos paxos

shihuili1218 / klein
paxos,🔥 Klein is a Paxos based distributed collection tool library, including distributed ArrayList, distributed HashMap, distributed Cache, distributed Lock, etc..
User: shihuili1218
cache paxos consensus algorithms distributed-systems raft distributed

stateright / stateright
paxos,A model checker for implementing distributed systems.
Organization: stateright
Home Page: https://docs.rs/stateright
model-checker distributed-systems actor-model paxos

stepchowfun / paxos
paxos,An implementation of single-decree Paxos.
User: stepchowfun
paxos rust

stonysystems / rolis
paxos,Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
Organization: stonysystems
multi-core paxos distributed

tencent / paxosstore
paxos,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.
Organization: tencent
paxos database distributed-database consensus

theanalyst / awesome-distributed-systems
paxos,A curated list to learn about distributed systems
User: theanalyst
distributed-systems paper architecture paxos lamport consensus

trekkidefi / paxos_raft_protocol
paxos,分布式一致性协议相关论文及中文译文，涵盖Paxos、Raft、Zab
User: trekkidefi
zookeeper zab atomic-broadcast-protocol paxos raft

turingcell / paxos-made-easy
paxos,Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
Organization: turingcell
Home Page: https://www.turingcell.org
paxos paxos-protocol

turingcell / turingcell
paxos,TuringCell: Run Linux over Paxos/Raft
Organization: turingcell
paxos raft consensus distributed-systems distributed-computing

wuba / wlock
paxos,A high-reliable, high-throughput distributed lock service based on the consensus algorithm component WPaxos.
Organization: wuba
java lock paxos synchronization readwritelock reentrantlock

wuba / wpaxos
paxos,A production-grade java implementation of paxos consensus algorithm
Organization: wuba
paxos java consensus distributed phxpaxos paxos-java

ya-ming / irsdp
paxos,Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming
User: ya-ming
paxos distributed-programming kompics

zhayujie / blockchain-simulator
paxos,Some simulations of blockchain consensus based on ns3. Currently implemented consensus protocols include Raft, Paxos and PBFT.
User: zhayujie
ns3-simulator paxos pbft raft

zowens / paxos-rs
paxos,Paxos implementation in Rust
User: zowens
paxos rust distributed-systems consensus

zzy590 / zpaxos
paxos,C++ header only multi-paxos library.
User: zzy590
paxos multipaxos multi-paxos cpp11