Did a simple Paxos implementation a while ago which I turned into educational code, well documented and coming with a talk and a workshop. May it be useful for anyone wanting to learn about distributed locking from first principles.

Code: https://github.com/danrl/skinny

Talks: https://youtu.be/nyNCSM4vGF4 and https://youtu.be/gAGGPaFDfwE