gritzko / librdxLinks
Replicated Data eXchange format C lib 
☆114Updated 2 weeks ago
Alternatives and similar repositories for librdx
Users that are interested in librdx are comparing it to the libraries listed below
Sorting:
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆68Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Zig library for HyperLogLog estimation☆91Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago
- RON2.1 C++ implementation☆46Updated 6 years ago
- Minimalistic sum types and switches for Lua☆52Updated 10 months ago
- PostgreSQL Prolog language handler☆134Updated last year
- ☆51Updated 5 months ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- DriftDB - An experimental append-only database with built-in time travel. Query any point in history, guaranteed data integrity, and immu…☆131Updated 2 weeks ago
- Foundation DB Query Language☆147Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆82Updated 3 weeks ago
- Working area for Braid extensions to HTTP☆253Updated 11 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆109Updated last week
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated last year
- Typed Formats for Storing & Transferring Data & Code☆35Updated 2 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Macro-based string templating.☆24Updated 3 weeks ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- A safe, stateful rules language for event streams☆114Updated 2 years ago
- An LSM database turned a CRDT database. Really fast counters!☆16Updated 9 months ago
- The Directed Acyclic Graph Elevation Markup Language☆81Updated 6 months ago
- pgpkg is a small, fast CLI tool and Go library that enables seamless integration of PostgreSQL functions into native code workflows. It i…☆25Updated last month
- General planning and documentation repository for the OCapN protocol suite for distributed networked objects☆201Updated 2 weeks ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆318Updated 2 years ago