rystsov / simdistsys

Related projects ⓘ

Alternatives and complementary repositories for simdistsys

• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• thehydroimpulse / gossiper
  Gossip protocol written in Rust
  ☆62Updated 10 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• spacejam / paxos
  simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
  ☆140Updated 4 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
• ibmandura / ArtTree
  Implementation of Adaptive Radix Tree in Rust
  ☆42Updated 4 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆80Updated 8 years ago
• ConnectEverything / caspaxos-kv
  Rust CASPaxos implementation
  ☆64Updated 4 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• sile / hyparview
  A Rust implementation of HyParView algorithm
  ☆28Updated 5 years ago
• crossbeam-rs / crossbeam-skiplist
  Concurrent skip list
  ☆22Updated 6 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆53Updated 5 months ago
• pijul-scm / sanakirja
  ☆16Updated 7 years ago
• komora-io / art
  Adaptive Radix Trie implementation for fixed-length keys
  ☆53Updated 9 months ago
• nwtnni / paxos
  Distributed consensus protocol for replicated state machines
  ☆60Updated 5 years ago
• GTkernel / nibble-lsm
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆35Updated 4 years ago
• graydon / concorde
  ☆27Updated 3 years ago
• ballard26 / concurrent-hamt
  ☆75Updated 8 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• ezrosent / art-rs
  Adaptive Radix Tree in Rust
  ☆58Updated 6 years ago
• zowens / chain-replication
  Chain replication server framework for Rust
  ☆33Updated 8 months ago
• hmwill / tokio-linux-aio
  Support for Linux kernel aio within Tokio.
  ☆51Updated 3 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆65Updated 9 years ago
• danburkert / wal
  Write Ahead Logging for Rust
  ☆26Updated 8 years ago
• bfil / exar-db
  ExarDB - An event store with streaming support built with Rust
  ☆68Updated 5 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆100Updated 7 months ago
• palantir / rust-zipkin
  A library for logging and propagating Zipkin trace information in Rust
  ☆54Updated this week