UW CSE Systems Lab

Pinned Repositories

diamond
Diamond reactive programming platform
Language:Java26 7 03
Eris
Eris distributed transactions
Language:C++52 8 06
marvin-art
Language:C++7 4 25
marvin-code
Language:Java3 4 02
marvin-libcore
Language:Java2 4 03
NOPaxos
NOPaxos consensus protocol
Language:C++134 13 317
NOPaxosTLA
TLA+ Specification of the NOPaxos Protocol
Language:TLA3 3 00
Sapphire
Sapphire source code
Language:Java9 7 08
specpaxos
Speculative Paxos replication protocol
Language:C++132 14 513
tapir
TAPIR distributed transactional storage system
Language:Java423 21 1354

UW CSE Systems Lab's Repositories

UWSysLab/tapir
TAPIR distributed transactional storage system
Language:Java423 21 1354
UWSysLab/NOPaxos
NOPaxos consensus protocol
Language:C++134 13 317
UWSysLab/specpaxos
Speculative Paxos replication protocol
Language:C++132 14 513
UWSysLab/Eris
Eris distributed transactions
Language:C++52 8 06
UWSysLab/diamond
Diamond reactive programming platform
Language:Java26 7 03
UWSysLab/Sapphire
Sapphire source code
Language:Java9 7 08
UWSysLab/marvin-art
Language:C++7 4 25
UWSysLab/marvin-code
Language:Java3 4 02
UWSysLab/NOPaxosTLA
TLA+ Specification of the NOPaxos Protocol
Language:TLA3 3 00
UWSysLab/marvin-libcore
Language:Java2 4 03