G github.com Lamport's Bakery algorithm, demonstrated in Python 106 points eigenvalue 2 years ago 30 comments