rystsov / simdistsys

Related projects ⓘ

Alternatives and complementary repositories for simdistsys

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆101Updated 8 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 4 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆68Updated 3 years ago
• lemmy / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Updated last year
• crossbeam-rs / crossbeam-epoch
  Epoch-based garbage collection
  ☆80Updated 6 years ago
• spacejam / paxos
  simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
  ☆140Updated 4 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 2 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• thehydroimpulse / gossiper
  Gossip protocol written in Rust
  ☆62Updated 10 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆80Updated 8 years ago
• stbuehler / rust-io-uring
  io_uring proof of concept in rust, integrated with tokio timers/executor (but not the reactor ofc)
  ☆47Updated 5 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆64Updated 4 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆20Updated 11 months ago
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆62Updated 6 years ago
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆42Updated 4 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• tbg / hlc-rs
  hybrid logical clock for Rust
  ☆21Updated 8 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• sujayakar / rsdict
  ☆45Updated 7 months ago
• informalsystems / modelator
  Model-based testing tool
  ☆53Updated 5 months ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• polachok / liburing-sys
  raw bindings for git://git.kernel.dk/liburing
  ☆17Updated 4 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆74Updated 8 months ago
• komora-io / art
  Adaptive Radix Trie implementation for fixed-length keys
  ☆53Updated 9 months ago