elem-azar-unis / CRDT-RedisView external linksLinks
CRDTs implemented in Redis
☆55Mar 14, 2023Updated 2 years ago
Alternatives and similar repositories for CRDT-Redis
Users that are interested in CRDT-Redis are comparing it to the libraries listed below
Sorting:
- ☆10Nov 26, 2024Updated last year
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 4 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆11Mar 2, 2021Updated 4 years ago
- chrome浏览器脚本自动执行插件☆11Oct 31, 2017Updated 8 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 years ago
- simple & easy functional reactive library with atomic push strategy☆17Jun 5, 2025Updated 8 months ago
- ☆17Oct 2, 2017Updated 8 years ago
- Heuristics for improving generated and ad hoc Datomic query performance.☆15Nov 23, 2019Updated 6 years ago
- A union-find data structure for Clojure☆16May 4, 2020Updated 5 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆17May 5, 2023Updated 2 years ago
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- PoC code for "Deep Hypertext Implemented..."☆33Jan 14, 2018Updated 8 years ago
- automatic differentiation/integration of PDEs☆24May 22, 2018Updated 7 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Common math functions, macros & utilities for Clojure/Clojurescript☆34Oct 23, 2023Updated 2 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- RAII resource management system☆32Apr 25, 2025Updated 9 months ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- ☆26Oct 25, 2019Updated 6 years ago
- An XCode project set up to build Go apps in iOS, including the IPFS framework.☆32May 25, 2019Updated 6 years ago
- Parse ANSI color escape sequences to Hiccup syntax☆36Apr 27, 2022Updated 3 years ago
- UNTESTED Reaver-WPS command-line for Android. Not proven to work with bcm4329 chipset based phones, but should probably do on bcm4330. RE…☆13May 17, 2014Updated 11 years ago
- C2C游戏交易平台☆12Jan 4, 2023Updated 3 years ago
- A Clojure forms library.☆38Dec 10, 2025Updated 2 months ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 2 years ago
- zip-visit☆58Nov 21, 2022Updated 3 years ago
- A sorted map implementation designed for ultra-fast initialization and merge operations.☆42Oct 8, 2020Updated 5 years ago
- ☆36Mar 10, 2022Updated 3 years ago
- Manipulate C-family ASTs with Clang☆69Jun 18, 2014Updated 11 years ago
- A JavaScript module for generating random seeded distributions and its statistical analysis.☆10Jul 4, 2021Updated 4 years ago
- ☆10Aug 13, 2021Updated 4 years ago
- The Circular ListView for Android☆15Dec 6, 2016Updated 9 years ago
- Code samples, summaries, cheatsheets and other study material for Hadoop MapReduce and Apache Spark☆10Aug 17, 2018Updated 7 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year