Pinned Loading

1. dslabs dslabs Public

   Distributed Systems Labs and Framework

   Java 1.5k 386

2. UWSysLab/Eris UWSysLab/Eris Public

   Eris distributed transactions

   C++ 53 6

3. UWSysLab/NOPaxos UWSysLab/NOPaxos Public

   NOPaxos consensus protocol

   C++ 139 15

4. UWSysLab/NOPaxosTLA UWSysLab/NOPaxosTLA Public

   TLA+ Specification of the NOPaxos Protocol

   TLA 3