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
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- ☆13Apr 10, 2025Updated last year
- ☆17Oct 2, 2017Updated 8 years ago
- Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University☆39Jul 11, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 months 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
- simple & easy functional reactive library with atomic push strategy☆17Feb 27, 2026Updated 2 months ago
- An implementation of a push-pull gossip protocol.☆43Nov 23, 2020Updated 5 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- Riak in Docker☆20May 31, 2021Updated 4 years ago
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow☆12Sep 12, 2016Updated 9 years ago
- My personal configuration files☆20Feb 26, 2026Updated 2 months ago
- A book detailing how to build command line applications in Rust☆13Mar 25, 2018Updated 8 years ago
- ☆11Jun 26, 2024Updated last year
- Heuristics for improving generated and ad hoc Datomic query performance.☆15Nov 23, 2019Updated 6 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 4 years ago
- ☆18Aug 7, 2024Updated last year
- 100% keyboard based spatial navigation.☆16Jul 23, 2018Updated 7 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Loosely coupled machine learning, data-mining and bioinformatics applications in a broad range of functional languages.☆24Jan 17, 2019Updated 7 years ago
- Altered TCR Ligand Affinities and Structures☆12Dec 1, 2023Updated 2 years ago
- An HTML/CSS Renderer.☆13Jun 11, 2024Updated last year
- 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
- ☆12Nov 16, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Examples of working and non-working models, initially for ODCS 2016 in Boston.☆11May 26, 2016Updated 9 years ago
- A small fast isam/btree library for key/val access☆13Jul 10, 2010Updated 15 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- Fast, reliable, and scalable channels implementation based on Redis streams.☆11Jun 25, 2024Updated last year
- Haskell bindings to glpk☆13Jun 10, 2024Updated last year