UWSysLab / Sapphire

Related projects ⓘ

Alternatives and complementary repositories for Sapphire

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• coq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated 10 months ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated last year
• UWSysLab / diamond
  Diamond reactive programming platform
  ☆26Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 7 years ago
• sambenz / URingPaxos
  URingPaxos : A high throughput atomic multicast protocol
  ☆28Updated last year
• tnelson / FlowLog
  ☆17Updated 9 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated 3 weeks ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• avsm / shonan-143
  Shonan #143: Programming Language Support for Data-intensive Applications
  ☆15Updated 5 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• p4lang / papers
  Repository for papers related to P4
  ☆38Updated 7 years ago
• edwardw / high-scale-java-lib
  A Lock-Free Concurrent Hash Table
  ☆20Updated 14 years ago
• onosproject / tlaplus-monitor
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆20Updated 4 months ago
• epfl-dcsl / lancet-tool
  ☆27Updated 3 months ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆39Updated last year
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 9 years ago
• dranov / raft-tla
  ☆19Updated 3 years ago
• nfsantos / S-Paxos
  ☆12Updated 12 years ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆13Updated 10 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 7 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆34Updated 3 years ago
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago