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:
- ☆11Nov 26, 2024Updated last year
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 3 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆15Jun 24, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Vue CLI Starter Dapp, using TypeScript, Truffle 5 and Web3☆12Dec 31, 2018Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Logitech keyboard wake and FN swap udev rules☆10Mar 14, 2022Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- High Performance Marmotta Backend implementation in C++ (using gRPC and LevelDB)☆16Dec 12, 2015Updated 10 years ago
- 解析Redis的RDB文件包☆13Dec 27, 2018Updated 7 years ago
- A WebAssembly port of Ink, useful for in-browser compilation.☆14Apr 28, 2022Updated 4 years ago
- Read later☆14Oct 20, 2017Updated 9 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated 2 years ago
- 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.
- 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…☆27May 25, 2021Updated 5 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- An HTML/CSS Renderer.☆13Jun 11, 2024Updated 2 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- 基于spring boot构建，使用akka actor按照table并发消费从canal获取的数据库同步数据，根据顺序对要在目标库执行的sql batch化☆10Apr 21, 2018Updated 8 years ago
- A little app that boxes my time.☆11Mar 23, 2015Updated 11 years ago
- 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.
- Checkbot is able to run custom shell scripts in a container. Use different tools to highly customize your checks (e.g. functionality, com…☆14Dec 5, 2025Updated 11 months ago
- Examples of working and non-working models, initially for ODCS 2016 in Boston.☆11May 26, 2016Updated 10 years ago
- A modified Twine engine specifically for chat conversations☆11Mar 9, 2022Updated 4 years ago
- osc☆12Mar 25, 2014Updated 12 years ago
- A PyTorch implementation of paper "Visualizing and Understanding Recurrent Networks"☆10Mar 16, 2018Updated 8 years ago
- Concurrent skiplist on golang☆15Sep 20, 2016Updated 10 years ago
- a Go package for encoding and decoding time-series data point in similar way to Facebook Gorilla time-series database☆14Feb 12, 2017Updated 9 years ago
- 分布式一致性协议 paxos/zab/raft 相关论文及中文译文☆20Oct 12, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- 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.
- Rust mg☆10Sep 19, 2019Updated 7 years ago
- Experiments with variational autoencoders in Julia☆17Sep 19, 2019Updated 7 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- A tool for model repair and transformation☆13Oct 5, 2018Updated 8 years ago
- ☆77Aug 26, 2026Updated 2 months ago
- Bigtable data source for Apache Arrow DataFusion☆22Jul 8, 2022Updated 4 years ago
- d'oh☆11Jun 21, 2019Updated 7 years ago