Alternatives and similar repositories for meangirls:

Users that are interested in meangirls 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
  ☆331Updated 6 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆359Updated 7 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 6 years ago
• CBaquero / delta-enabled-crdts
  Reference implementations of state-based CRDTs that offer deltas for all mutations.
  ☆321Updated last year
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆186Updated 3 years ago
• gritzko / ron
  (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib
  ☆362Updated 6 months ago
• lasp-lang / lasp
  Prototype implementation of Lasp in Erlang.
  ☆890Updated 4 years ago
• bloom-lang / bud
  Prototype Bud runtime (Bloom Under Development)
  ☆860Updated 4 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 5 years ago
• pfrazee / crdt_notes
  ☆1,007Updated 9 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆225Updated 6 years ago
• vmware-archive / haret
  A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
  ☆459Updated 5 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 7 years ago
• AntidoteDB / antidote
  A planet scale, highly available, transactional database built on CRDT technology
  ☆846Updated last year
• ericmoritz / crdt
  CRDT toolbox
  ☆200Updated 11 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆660Updated 3 weeks ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆402Updated last month
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆345Updated 2 years ago
• microsoft / pg_paxos
  Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes
  ☆305Updated 2 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆185Updated 8 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,053Updated 7 years ago
• boundary / flake
  A decentralized, k-ordered id generation service in Erlang
  ☆584Updated 6 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,194Updated 6 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 6 months ago
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,170Updated 2 years ago
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆67Updated 7 years ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆422Updated 4 years ago
• FoundationDB / awesome-foundationdb
  List of FoundationDB resources
  ☆208Updated 2 months ago
• basho / machi
  Machi file store
  ☆121Updated 9 years ago
• benjamintanweihao / distributed-systems-references
  A collection of papers that was referenced at the end of Jonas Bonér's The Road to Akka Cluster and Beyond ... talk.
  ☆275Updated 9 years ago