Implementation of raft algorithm using go with minimal mutexes. I have used P-lang to make sure that the idea behind the implementation is safe and correct.
This is the repo which contains the code for models I have created using P-lang
https://raft.github.io/raft.pdf