cmeiklejohn / partisan-usenix-atc-2019

Related projects ⓘ

Alternatives and complementary repositories for partisan-usenix-atc-2019

• justinsheehy / vertree
  a tree. with versions.
  ☆13Updated 7 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 6 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆35Updated 2 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• aeternity / elixir-merkle-patricia-tree
  Elixir implementation of modified Merkle Patricia tree (trie)
  ☆10Updated 5 years ago
• ponylang / reactive_streams
  Pony implementation of http://www.reactive-streams.org/
  ☆40Updated last month
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 6 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆57Updated 5 years ago
• erisata / paxoid
  Paxos based masterless ID/Sequence generator.
  ☆20Updated 5 years ago
• opencensus-beam / tracelog
  A logging handler that can transforms structured logs into opencensus distributed tracing spans
  ☆25Updated 5 years ago
• lasp-lang / plumtree
  Scalable reliable delivery protocol for Lasp.
  ☆22Updated 3 years ago
• vitorenesduarte / tricks
  Run experiments effortlessly on top of Kubernetes
  ☆23Updated 2 years ago
• ricardobcl / ServerWideClocks
  Server Wide Clocks for Distributed Eventually Consistent Systems
  ☆48Updated 7 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• odo / palma
  Erlang application to dynamically create pools of processes, which can be called in a round-robin fashion.
  ☆10Updated 3 years ago
• JPDSousa / AQL
  An SQL interface for AntidoteDB
  ☆13Updated 6 years ago
• kbrw / nano_ring
  NanoRing is a very very small Cluster management System in Elixir.
  ☆35Updated 4 years ago
• xinhaoyuan / morpheus
  Erlang Sandboxing for Reliable and Scalable Concurrency Testing
  ☆21Updated 4 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• rabbitmq / credentials-obfuscation
  Tiny library/OTP app for credential obfuscation
  ☆14Updated 3 months ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• brigadier / esphi
  Erlang bindings for Sophia DB
  ☆14Updated 8 years ago
• achanda / crdt-rs
  A library to work with CRDTs in rust
  ☆16Updated 11 months ago
• dalmatinerdb / mstore
  ☆11Updated 7 years ago
• goncalotomas / FMKe
  🛠️ Realistic benchmark for key value stores
  ☆23Updated 3 years ago