aphyr / meangirls
Convergent Replicated Data Types
☆651Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for meangirls
- Logical Clocks for Eventually Consistent Systems☆351Updated 6 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆328Updated 6 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 5 years ago
- Prototype Bud runtime (Bloom Under Development)☆855Updated 4 years ago
- ☆986Updated 9 years ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 2 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆320Updated 10 months ago
- Black-box transactional safety checker based on cycle detection☆641Updated last month
- Commutative Replicated Data Types for easy collaborative/distributed systems.☆836Updated 6 years ago
- Verifies the linearizability of experimentally accessible histories.☆398Updated last year
- Prototype implementation of Lasp in Erlang.☆891Updated 3 years ago
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 4 years ago
- A planet scale, highly available, transactional database built on CRDT technology☆837Updated last year
- Roshi is a large-scale CRDT set implementation for timestamped events.☆3,154Updated last year
- CRDT toolbox☆201Updated 11 years ago
- (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib☆362Updated last week
- A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.☆461Updated 4 years ago
- Consus is a geo-replicated transactional key-value store.☆226Updated 6 years ago
- A Logical Clock for Static and Dynamic Systems☆159Updated 6 years ago
- Convergent replicated datatypes in Erlang☆353Updated last year
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆333Updated 2 years ago
- ☆248Updated 7 years ago
- TAPIR distributed transactional storage system☆423Updated 4 years ago
- List of FoundationDB resources☆190Updated 3 weeks ago
- Machi file store☆122Updated 8 years ago
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆305Updated 2 years ago
- ☆101Updated 6 years ago
- TLA+ specification for the Raft consensus algorithm☆465Updated last month
- Offline serializability verification, in Clojure☆68Updated 7 years ago