Alternatives and similar repositories for kura

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

• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆334Updated 7 years ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆424Updated 5 years ago
• dgryski / interesting-papers
  Interesting papers I'd like to implement (or at least have implementations of)
  ☆122Updated 4 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• axiomhq / hyperloglog
  HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
  ☆1,022Updated 3 weeks ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• gramoli / synchrobench
  A benchmark to compare synchronization techniques for multicore programming
  ☆348Updated 6 months ago
• ailidani / paxi
  Paxos protocol framework
  ☆558Updated 2 years ago
• madthanu / alice
  ☆186Updated 7 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆227Updated 7 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
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆385Updated 6 months ago
• efficient / epaxos
  ☆630Updated 4 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆612Updated 6 months ago
• BTrDB / btrdb-server
  Berkeley Tree Database (BTrDB) server
  ☆910Updated 4 years ago
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 10 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆133Updated 9 years ago
• wgolab / WatCA
  The Waterloo Consistency Analyzer
  ☆15Updated 5 years ago
• westerndigitalcorporation / blb
  Blb is a distributed object storage system designed for use on bare metal in cluster computing environments.
  ☆627Updated 2 years ago
• oscarlab / betrfs
  ☆294Updated last year
• BitFunnel / BitFunnel
  A signature-based search engine
  ☆404Updated 4 years ago
• kocircuit / kocircuit
  Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations
  ☆309Updated 2 years ago
• bloom-lang / bud
  Prototype Bud runtime (Bloom Under Development)
  ☆869Updated 5 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• couchbase / vellum
  A Go library implementing an FST (finite state transducer)
  ☆515Updated 2 years ago
• DistributedClocks / GoVector
  Vector clock logging library for Go
  ☆186Updated last year
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆329Updated 4 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆416Updated this week
• ghemawat / stream
  Package stream provides filters that can be chained together in a manner similar to Unix pipelines.
  ☆210Updated 8 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,047Updated 6 years ago