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
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 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
- A clojure wrapper for usearch, a fast open-source search & clustering engine for vectors.☆23Nov 12, 2024Updated last year
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- A core.matrix library for Clojure and Clojurescript.☆28Oct 4, 2016Updated 9 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
- Autonomous distributed key-value store which has REST interfaces implemented in Rust☆27Aug 30, 2025Updated 6 months ago
- An efficient memset implementation for Golang. [Not maintained].☆32Sep 4, 2019Updated 6 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- ☆34Feb 18, 2026Updated 2 weeks ago
- ☆26Oct 25, 2019Updated 6 years ago
- RAII resource management system☆32Apr 25, 2025Updated 10 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
- 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
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- A Clojure forms library.☆38Dec 10, 2025Updated 3 months 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
- Manipulate C-family ASTs with Clang☆69Jun 18, 2014Updated 11 years ago
- ☆36Mar 10, 2022Updated 4 years ago
- 聚合支付是一种第四方支付服务。简而言之，第三方支付提供的是资金清算通道，而聚合支付提供的是支付基础之上的多种衍生服务。聚合支付服务”不具备支付牌照，而是通过聚合多种第三方支付平台、合作银行及其他服务商接口等支付工具的综合支付服务。聚合支付不进行资金清算，但能够根据商户的需求…☆12Aug 5, 2020Updated 5 years ago
- A collection of useful, free, single-file libraries for C.☆11Oct 15, 2015Updated 10 years ago
- Google Sheet Formulas Markdown in Notepad++☆10Jun 9, 2025Updated 9 months ago
- ☆12Jan 27, 2026Updated last month
- Official AYON<->Kitsu intetgration (WIP)☆12Updated this week
- A set of visualization engines.☆14Updated this week
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago