Alternatives and similar repositories for crdt-visualizer:

Users that are interested in crdt-visualizer are comparing it to the libraries listed below

• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• achanda / crdt-rs
  A library to work with CRDTs in rust
  ☆16Updated last year
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 4 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 4 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• justinsheehy / vertree
  a tree. with versions.
  ☆13Updated 7 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆23Updated 2 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated 2 years ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• kavirajk / clock
  Logical clocks implementation in Rust
  ☆44Updated 5 years ago
• danburkert / crdt
  Conflict-free Replicated Data Types for Rust
  ☆22Updated 9 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• sile / hyparview
  A Rust implementation of HyParView algorithm
  ☆29Updated 6 years ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆68Updated last year
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 5 months ago
• ricardobcl / ServerWideClocks
  Server Wide Clocks for Distributed Eventually Consistent Systems
  ☆48Updated 8 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆36Updated 8 months ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• spacejam / rsdb
  rust database engineering toolkit
  ☆33Updated 3 years ago
• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆86Updated 8 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆56Updated last month
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago