There are 0 repository under leslie-lamport topic.
A Post-Quantum Cryptographic Library For Lamport Signatures
Chinese translation of hyperbook by Leslie Lamport on TLA+
🌐 Implementation of Lamport Clocks 🕒 to Order Life Events in a Distributed System
An experimental OTP application to simulate ordering events in a distributed system.