Repositories list

• tapir

  Public
  TAPIR distributed transactional storage system

  Java

  •

  MIT License

  •5555 forks in UWSysLab/tapir•428428 stars in UWSysLab/tapir•77 issues in UWSysLab/tapir•11 pull request in UWSysLab/tapir•Updated Mar 11, 2026Mar 11, 2026

• marvin-art

  Public
  C++

  •

  Other

  •66 forks in UWSysLab/marvin-art•77 stars in UWSysLab/marvin-art•11 issue in UWSysLab/marvin-art•00 pull requests in UWSysLab/marvin-art•Updated Dec 14, 2023Dec 14, 2023

• diamond

  Public
  Diamond reactive programming platform

  Java

  •

  MIT License

  •33 forks in UWSysLab/diamond•2727 stars in UWSysLab/diamond•00 issues in UWSysLab/diamond•77 pull requests in UWSysLab/diamond•Updated Jul 7, 2022Jul 7, 2022

• NOPaxos

  Public
  NOPaxos consensus protocol

  C++

  •

  MIT License

  •1818 forks in UWSysLab/NOPaxos•138138 stars in UWSysLab/NOPaxos•00 issues in UWSysLab/NOPaxos•00 pull requests in UWSysLab/NOPaxos•Updated Nov 17, 2020Nov 17, 2020

• marvin-code

  Public
  Java

  •33 forks in UWSysLab/marvin-code•33 stars in UWSysLab/marvin-code•00 issues in UWSysLab/marvin-code•00 pull requests in UWSysLab/marvin-code•Updated Jan 9, 2020Jan 9, 2020

• marvin-libcore

  Public
  Java

  •

  GNU General Public License v2.0

  •33 forks in UWSysLab/marvin-libcore•22 stars in UWSysLab/marvin-libcore•00 issues in UWSysLab/marvin-libcore•00 pull requests in UWSysLab/marvin-libcore•Updated May 10, 2019May 10, 2019

• Eris

  Public
  Eris distributed transactions

  C++

  •66 forks in UWSysLab/Eris•5353 stars in UWSysLab/Eris•00 issues in UWSysLab/Eris•00 pull requests in UWSysLab/Eris•Updated Apr 9, 2018Apr 9, 2018

• Sapphire

  Public
  Sapphire source code

  Java

  •

  MIT License

  •88 forks in UWSysLab/Sapphire•1111 stars in UWSysLab/Sapphire•00 issues in UWSysLab/Sapphire•00 pull requests in UWSysLab/Sapphire•Updated Nov 17, 2017Nov 17, 2017

• NOPaxosTLA

  Public
  TLA+ Specification of the NOPaxos Protocol

  TLA

  •

  MIT License

  •00 forks in UWSysLab/NOPaxosTLA•33 stars in UWSysLab/NOPaxosTLA•00 issues in UWSysLab/NOPaxosTLA•00 pull requests in UWSysLab/NOPaxosTLA•Updated Sep 28, 2017Sep 28, 2017

• specpaxos

  Public
  Speculative Paxos replication protocol

  C++

  •1414 forks in UWSysLab/specpaxos•131131 stars in UWSysLab/specpaxos•55 issues in UWSysLab/specpaxos•00 pull requests in UWSysLab/specpaxos•Updated Oct 14, 2016Oct 14, 2016