gryadka / js

Related projects ⓘ

Alternatives and complementary repositories for js

• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆423Updated 4 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆226Updated 6 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆188Updated 2 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆398Updated last year
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 6 years ago
• aphyr / meangirls
  Convergent Replicated Data Types
  ☆652Updated 8 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆351Updated 6 years ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆248Updated 3 years ago
• pmwkaa / engine.so
  Tracking, Benchmarking and Sharing Information about an open source embedded data storage engines, internals, architectures, data storage…
  ☆180Updated 5 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆311Updated 2 years ago
• efficient / epaxos
  ☆612Updated 3 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆132Updated 8 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• armon / hlld
  C network daemon for HyperLogLogs
  ☆449Updated 3 years ago
• Treode / store
  The DB that's replicated, sharded and transactional.
  ☆177Updated 9 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆183Updated 8 years ago
• microsoft / pg_paxos
  Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes
  ☆305Updated 2 years ago
• CorfuDB / CorfuDB
  A cluster consistency platform
  ☆641Updated 2 weeks ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆465Updated 2 months ago
• ailidani / paxi
  Paxos protocol framework
  ☆551Updated 10 months ago
• jaytaylor / sql-layer
  ☆93Updated 9 years ago
• pmwkaa / serenity
  Disk storage and real transactions under Redis compatible protocol.
  ☆197Updated 8 years ago
• basho / riak_dt
  Convergent replicated datatypes in Erlang
  ☆353Updated last year
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆74Updated 8 months ago
• CBaquero / delta-enabled-crdts
  Reference implementations of state-based CRDTs that offer deltas for all mutations.
  ☆320Updated 11 months ago
• cliqz-oss / keyvi
  Keyvi - a key value index that powers Cliqz search engine. It is an in-memory FST-based data structure highly optimized for size and look…
  ☆179Updated 5 years ago
• jmhodges / opposite_of_a_bloom_filter
  Implementations of a data structure with false negatives but no false positives.
  ☆354Updated 11 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆643Updated last month