|
|
|
|
|
|
by adsharma
1850 days ago
|
|
|
People write raft papers with pseudo code or some hard to comprehend systems language. I've always wondered why there isn't a Jepsen tested python implementation with lots of github stars. Here is mine: https://github.com/adsharma/raft Waiting for a python correctness prover and a transpiler. |
|
|