acharapko / retroscope-lib

Related projects ⓘ

Alternatives and complementary repositories for retroscope-lib

• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 years ago
• tbg / caspaxos-tla
  TLA+ description for the CAS-Paxos algorithm
  ☆12Updated 7 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 6 years ago
• acharapko / fleetdb
  ☆12Updated 4 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• efficient / cicada
  Dependably fast multi-core in-memory transactions
  ☆19Updated 7 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• biokoda / actordb_driver
  actordb storage engine
  ☆19Updated 4 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• HewlettPackard / shoveller
  ☆11Updated 4 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• tbg / hlc-rs
  hybrid logical clock for Rust
  ☆21Updated 8 years ago
• rystsov / perseus
  Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…
  ☆50Updated 5 years ago
• efficient / qlease
  ☆24Updated 10 years ago
• crossbeam-rs / crossbeam-skiplist
  Concurrent skip list
  ☆22Updated 6 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆42Updated 4 years ago
• asubiotto / vecdeepdive
  ☆14Updated 5 years ago
• cruzdb / cruzdb
  Append-only key-value database on a distributed shared-log
  ☆49Updated 3 months ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆27Updated 6 years ago
• cstorey / hybrid-clocks
  ☆13Updated last week
• spacejam / crack
  building blocks and testing tools for reliable systems
  ☆28Updated 6 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆24Updated 2 years ago
• nfsantos / S-Paxos
  ☆12Updated 12 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 7 years ago