UWSysLab / Sapphire

Related projects ⓘ

Alternatives and complementary repositories for Sapphire

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 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
• 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
• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 6 years ago
• tnelson / FlowLog
  ☆17Updated 9 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆44Updated 4 years ago
• onosproject / tlaplus-monitor
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆19Updated 4 months ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• avsm / shonan-143
  Shonan #143: Programming Language Support for Data-intensive Applications
  ☆15Updated 5 years ago
• DistributedClocks / tsviz
  Tool to visualize executions of multi-threaded systems
  ☆13Updated 4 years ago
• dranov / raft-tla
  ☆19Updated 3 years ago
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆28Updated 2 months ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• acharapko / retroscope-lib
  ☆14Updated 6 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆21Updated 2 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• kunrenyale / CalvinDB
  Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)
  ☆24Updated 4 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆82Updated 12 years ago
• fegaras / DIQL
  DIQL: Data Intensive Query Language
  ☆12Updated 3 years ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆37Updated 3 years ago
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago