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:
- ☆10Nov 26, 2024Updated last year
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Jul 11, 2019Updated 6 years ago
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated last year
- 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
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- A proof-of-concept graph Database on top of FoundationDB☆11Mar 1, 2019Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated last month
- Heuristics for improving generated and ad hoc Datomic query performance.☆15Nov 23, 2019Updated 6 years ago
- Logitech keyboard wake and FN swap udev rules☆10Mar 14, 2022Updated 4 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- 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
- ☆17Aug 7, 2024Updated last year
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 years ago
- ☆13Mar 10, 2019Updated 7 years ago
- Altered TCR Ligand Affinities and Structures☆12Dec 1, 2023Updated 2 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
- Client-side Elasticsearch query generator and executor. Filter fields, find search suggestions, and paginate query results for your indic…☆14Mar 14, 2023Updated 3 years ago
- Checkbot is able to run custom shell scripts in a container. Use different tools to highly customize your checks (e.g. functionality, com…☆15Dec 5, 2025Updated 3 months ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- A small fast isam/btree library for key/val access☆13Jul 10, 2010Updated 15 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fast, reliable, and scalable channels implementation based on Redis streams.☆11Jun 25, 2024Updated last year
- 💎 YIO Hardware repository☆12Apr 4, 2021Updated 4 years ago
- ☆77Mar 3, 2025Updated last year
- Haskell library implementing OpenFlow protocol versions 1.0 and 1.3☆20Oct 3, 2017Updated 8 years ago
- Experiments with variational autoencoders in Julia☆17Sep 19, 2019Updated 6 years ago
- A simple golang job queue☆13Jan 19, 2023Updated 3 years ago
- Play analog audio over Airplay 2 speakers with ShazamKit audio recognition☆20Sep 21, 2025Updated 6 months ago