Repositories list

• marvin-art

  Public
  C++

  •

  Other

  •5•7•1•0•Updated Dec 14, 2023Dec 14, 2023

• diamond

  Public
  Diamond reactive programming platform

  Java

  •

  MIT License

  •3•26•0•7•Updated Jul 7, 2022Jul 7, 2022

• NOPaxos

  Public
  NOPaxos consensus protocol

  C++

  •

  MIT License

  •17•133•0•0•Updated Nov 17, 2020Nov 17, 2020

• tapir

  Public
  TAPIR distributed transactional storage system

  Java

  •

  MIT License

  •54•423•7•1•Updated Oct 13, 2020Oct 13, 2020

• marvin-code

  Public
  Java

  •2•3•0•0•Updated Jan 9, 2020Jan 9, 2020

• marvin-libcore

  Public
  Java

  •

  GNU General Public License v2.0

  •3•2•0•0•Updated May 10, 2019May 10, 2019

• Eris

  Public
  Eris distributed transactions

  C++

  •6•52•0•0•Updated Apr 9, 2018Apr 9, 2018

• Sapphire

  Public
  Sapphire source code

  Java

  •

  MIT License

  •8•9•0•0•Updated Nov 17, 2017Nov 17, 2017

• NOPaxosTLA

  Public
  TLA+ Specification of the NOPaxos Protocol

  TLA

  •

  MIT License

  •0•3•0•0•Updated Sep 28, 2017Sep 28, 2017

• specpaxos

  Public
  Speculative Paxos replication protocol

  C++

  •13•132•5•0•Updated Oct 14, 2016Oct 14, 2016