| Snailclimb/JavaGuide |
140,256 |
|
0 |
0 |
about 2 years ago |
0 |
|
59 |
apache-2.0 |
Java |
| 「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！ |
| tlaplus/Examples |
1,187 |
|
0 |
0 |
about 2 years ago |
0 |
|
14 |
other |
TLA |
| A collection of TLA+ specifications of varying complexities |
| tlaplus/DrTLAPlus |
652 |
|
0 |
0 |
almost 4 years ago |
0 |
|
0 |
|
TLA |
| Dr. TLA+ series - learn an algorithm and protocol, study a specification |
| cocagne/paxos |
544 |
|
0 |
0 |
almost 5 years ago |
1 |
June 25, 2013 |
1 |
mit |
Python |
| Plain Paxos Implementations in Python & Java |
| infinit/elle |
462 |
|
0 |
0 |
over 3 years ago |
0 |
|
1 |
apache-2.0 |
C++ |
| The Elle coroutine-based asynchronous C++ development framework. |
| shihuili1218/klein |
151 |
|
1 |
10 |
over 2 years ago |
8 |
October 12, 2024 |
6 |
apache-2.0 |
Java |
| 🔥 Klein is a Paxos based distributed collection tool library, including distributed ArrayList, distributed HashMap, distributed Cache, distributed Lock, etc.. |
| feilengcui008/distributed_system_readings |
139 |
|
0 |
0 |
over 6 years ago |
0 |
|
1 |
|
|
| a list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems |
| benschulz/paxakos |
81 |
|
0 |
0 |
about 3 years ago |
14 |
November 20, 2022 |
0 |
gpl-3.0 |
Rust |
| Rust implementation of Paxos consensus algorithm |
| jaksa76/paxos |
62 |
|
0 |
0 |
over 4 years ago |
0 |
|
15 |
apache-2.0 |
Java |
| A Java implementation of Lamport's Paxos algorithm. |
| archie/raft |
53 |
|
0 |
0 |
over 12 years ago |
0 |
|
0 |
mit |
Scala |
| Distributed consensus algorithm implemented in Scala and Akka |
