A library to work with CRDTs in rust
☆16Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for crdt-rs
Users that are interested in crdt-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conflict-free Replicated Data Types for Rust☆22May 7, 2015Updated 10 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated last month
- Visualized CRDT executions in a web page to explain their semantics☆17Nov 2, 2018Updated 7 years ago
- peer-crdt network and store over IPFS☆20May 1, 2025Updated 10 months ago
- Minimalist-lisp interpreter implementation for UNIX-like systems.☆12Mar 14, 2015Updated 11 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- ☆14Jul 19, 2017Updated 8 years ago
- CRDTs in Clojure☆47May 4, 2016Updated 9 years ago
- ☆13Mar 8, 2019Updated 7 years ago
- CoronaSurveys Monitoring the Incidence of COVID-19 via Open Surveys☆20Mar 12, 2026Updated last week
- Fitbit SDK example application.☆21Mar 7, 2023Updated 3 years ago
- XPC simplified for Cocoa. Deal with NS* objects instead of xpc_object_t.☆21Nov 16, 2020Updated 5 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Oct 31, 2017Updated 8 years ago
- A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。☆15Nov 5, 2019Updated 6 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 4 months ago
- Source for PartiQL-related documents.☆16Aug 5, 2025Updated 7 months ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- CRDT implementations to use with Antidote☆36May 27, 2022Updated 3 years ago
- Rust board support packages for 3rd-generation Particle hardware☆11May 18, 2021Updated 4 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- Parser benchmarks for eno/yaml/toml libraries in javascript, python and ruby☆19Apr 30, 2022Updated 3 years ago
- Go package implementing Age-Partitioned Bloom Filters (APBF)☆32Jul 25, 2022Updated 3 years ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 9 years ago
- Another Groonga binding for Go language.☆11Mar 7, 2016Updated 10 years ago
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 10 years ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Postgres plays with PGbouncer and Repmgr for replication/auto-failover☆10Aug 23, 2016Updated 9 years ago
- Embedded Polymer UI application in a Go binary☆10Sep 1, 2015Updated 10 years ago
- A command line utility for Slack☆10Mar 17, 2016Updated 10 years ago
- 📝 An universal TypeScript library for handing Apple's Property Lists. Supports binary, text and XML plists; works well in both browser a…☆20Apr 9, 2025Updated 11 months ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Generate auto-signed TLS certificates for your docker swarm cluster☆17Nov 10, 2015Updated 10 years ago
- A containerized development environment for Go, includes automatic code reloads, test running, and vendored dependencies. Powered by Dock…☆12Feb 21, 2017Updated 9 years ago
- Extended docker build tool.☆16Jun 12, 2023Updated 2 years ago
- NanoRing is a very very small Cluster management System in Elixir.☆35Nov 8, 2020Updated 5 years ago
- ☆16Dec 8, 2016Updated 9 years ago