Pinned

1. tapir tapir Public

   TAPIR distributed transactional storage system

   Java 421 55

2. specpaxos specpaxos Public

   Speculative Paxos replication protocol

   C++ 128 13

3. diamond diamond Public

   Diamond reactive programming platform

   Java 22 3

4. Sapphire Sapphire Public

   Sapphire source code

   Java 9 8

5. NOPaxos NOPaxos Public

   NOPaxos consensus protocol

   C++ 128 16