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://github.com/nivekithan/p-models

https://raft.github.io/raft.pdf