dkellner / chronofold
Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
☆93Updated 3 years ago
Alternatives and similar repositories for chronofold
Users that are interested in chronofold are comparing it to the libraries listed below
Sorting:
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆65Updated 3 years ago
- The canonical Replicache client, implemented in Rust.☆30Updated 3 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆147Updated last year
- Working area for Braid extensions to HTTP☆243Updated 5 months ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆69Updated 3 years ago
- A lightweight framework for building WebSocket-based application backends.☆146Updated 7 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆52Updated last year
- Real world text editing traces for benchmarking CRDT and Rope data structures☆49Updated last year
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆143Updated last year
- The practical relational programing language for data-oriented applications☆203Updated 2 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆216Updated last year
- ☆172Updated 6 months ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 2 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Macro-based string templating.☆21Updated last week
- Deterministic workflow engine☆174Updated this week
- SQL Language server and cli☆85Updated 2 months ago
- ☆58Updated 3 years ago
- Performance tests for Automerge☆40Updated 7 months ago
- A set of tools for writing servers that speak PostgreSQL's wire protocol☆92Updated last week
- A thread-safe Rust LFU cache which supports a custom eviction policy☆34Updated 2 years ago
- A Rust implementation of fractional indexing.☆56Updated 8 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆117Updated 3 months ago
- it's like a blockchain but for collaborative editing of json documents☆40Updated 5 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆121Updated last year