Alternatives and similar repositories for kura

Users that are interested in kura are comparing it to the libraries listed below

• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆611Updated 5 months ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆422Updated 5 years ago
• clockworksoul / smudge
  A lightweight library that provides group member discovery, status dissemination, and failure detection using the SWIM epidemic protocol.
  ☆463Updated 4 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• efficient / epaxos
  ☆630Updated 4 years ago
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆334Updated 7 years ago
• axiomhq / hyperloglog
  HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
  ☆1,018Updated 3 weeks ago
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 10 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆501Updated 9 months ago
• ailidani / paxi
  Paxos protocol framework
  ☆558Updated last year
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,116Updated 2 months ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,047Updated 6 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆133Updated 9 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆384Updated 5 months ago
• PlatformLab / RAMCloud
  **No Longer Maintained** Official RAMCloud repo
  ☆504Updated 6 years ago
• thomas11 / csp
  Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go.
  ☆189Updated 9 years ago
• bloom-lang / bud
  Prototype Bud runtime (Bloom Under Development)
  ☆867Updated 5 years ago
• BitFunnel / BitFunnel
  A signature-based search engine
  ☆404Updated 3 years ago
• couchbase / vellum
  A Go library implementing an FST (finite state transducer)
  ☆513Updated 2 years ago
• wgolab / WatCA
  The Waterloo Consistency Analyzer
  ☆15Updated 5 years ago
• peterbourgon / caspaxos
  A Go implementation of the CASPaxos protocol
  ☆298Updated 7 years ago
• MicrosoftResearch / Naiad
  The Naiad system provides fast incremental and iterative computation for data-parallel workloads
  ☆523Updated 3 years ago
• google / fchan-go
  Experimental channel implementation
  ☆311Updated 8 years ago
• twitter / rpc-perf
  A tool for benchmarking RPC services
  ☆472Updated 2 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆227Updated 7 years ago
• madthanu / alice
  ☆185Updated 7 years ago
• dgryski / interesting-papers
  Interesting papers I'd like to implement (or at least have implementations of)
  ☆122Updated 4 years ago
• gramoli / synchrobench
  A benchmark to compare synchronization techniques for multicore programming
  ☆348Updated 5 months ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆328Updated 4 years ago