leslie-lamport

There are 5 repositories under leslie-lamport topic.

AtropineTears/Lamport-rs
A Post-Quantum Cryptographic Library For Lamport Signatures
Language:Rust7 1 02
hengxin/hyperbook-tla-cn
Chinese translation of hyperbook by Leslie Lamport on TLA+
Language:TeX1 2 0
joyoyoyoyoyo/lamport-logical-clocks-in-a-distributed-system
🌐 Implementation of Lamport Clocks 🕒 to Order Life Events in a Distributed System
Language:Scala1 2 00
ac259/LamporTLA
TLA+ examples and modelling
Language:TLA2 0
lustres/mutex_problem
An experimental OTP application to simulate ordering events in a distributed system.
Language:Erlang1 0