Hacker GitHub

← All repos

adsharma/raft

View on GitHub ↗ ★ 16 Python

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2021-01-22 · latest 2021-07-16

Mentions per year 3 mentions · busiest year 2021 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …large language and it's hard to get it right. I have a python implementation of raft over here: https://github.com/adsharma/raft/tree/master/raft/states That's small enough to be self contained and perhaps run through a model checker some…
    comment by adsharma · 2021-07-16 · in Paxos vs. Raft: Have we reached consensus on distributed consensus?
  2. …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.
    comment by adsharma · 2021-05-29 · in Show HN: Monty, Mongo tinified. MongoDB implemented in Python
  3. …learn raft. Alice: /set a 1 Alice: /set b 2 Bob: /status Etc https://github.com/adsharma/zre_raft https://github.com/adsharma/raft Bug reports welcome
    comment by adsharma · 2021-01-22 · in Rqlite: The lightweight, distributed relational database built on SQLite