Hacker News new | ask | show | jobs
by CyberDildonics 1850 days ago
You get the legendary data integrity of mongoDB with the refinement of brand new software running at the speed of python. What's not to like?
1 comments

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.