CRDTs implemented in Redis
☆55Mar 14, 2023Updated 3 years ago
Alternatives and similar repositories for CRDT-Redis
Users that are interested in CRDT-Redis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- Experimental CRDT-implementations for the JVM☆132Mar 15, 2017Updated 9 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Run TLC in cmd☆15Jan 20, 2026Updated 2 months ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Apr 17, 2018Updated 8 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- System Intelligence Benchmark☆52Updated this week
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- My personal configuration files☆20Feb 26, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Heuristics for improving generated and ad hoc Datomic query performance.☆15Nov 23, 2019Updated 6 years ago
- Easy and small template engine for the browser and nodejs.☆21Jul 13, 2020Updated 5 years ago
- Autonomous distributed key-value store which has REST interfaces implemented in Rust☆28Apr 11, 2026Updated last week
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- An efficient memset implementation for Golang. [Not maintained].☆32Sep 4, 2019Updated 6 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- 分布式一致性协议 paxos/zab/raft 相关论文及中文译文☆20Oct 12, 2018Updated 7 years ago
- C# framework for transforming and analyzing source code with srcML.☆21Feb 10, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a chat program demo use netty framework☆11Jun 30, 2014Updated 11 years ago
- Golang DKIM Verifier☆10Sep 3, 2025Updated 7 months ago
- Fast, reliable, and scalable channels implementation based on Redis streams.☆11Jun 25, 2024Updated last year
- ☆14Aug 21, 2020Updated 5 years ago
- C utility modules for 3D graphics using OpenGL☆25Dec 29, 2014Updated 11 years ago
- ☆77Mar 3, 2025Updated last year
- A simple golang job queue☆13Jan 19, 2023Updated 3 years ago
- Nginx OCSP processing module designed for response caching☆11Mar 24, 2014Updated 12 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust mg☆10Sep 19, 2019Updated 6 years ago
- Repo for testing JIT stuff☆15Apr 9, 2020Updated 6 years ago
- Easily generate SEO metadata for Svelte☆11May 19, 2021Updated 4 years ago
- Parser for perf data files, creates output suitable for the QtCreator plugin☆19Jan 16, 2026Updated 3 months ago
- The Japanese translation for "The Rust Performance Book"☆10Sep 19, 2022Updated 3 years ago
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago
- A little app that boxes my time.☆11Mar 23, 2015Updated 11 years ago