Alternatives and similar repositories for librdx

Users that are interested in librdx are comparing it to the libraries listed below

• gritzko / citrea-model
  A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)
  ☆68Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• gritzko / go-rdx
  RDX implementation in Go
  ☆35Updated last week
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• fsaintjacques / recordlite
  ☆51Updated 5 months ago
• DavidLiedle / DriftDB
  DriftDB - An experimental append-only database with built-in time travel. Query any point in history, guaranteed data integrity, and immu…
  ☆129Updated 2 weeks ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆320Updated 2 years ago
• janderland / fql
  Foundation DB Query Language
  ☆146Updated 3 weeks ago
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆107Updated last month
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆19Updated last year
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆50Updated 11 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• jamii / zest
  ☆123Updated last month
• jcbhmr / awesome-webassembly-runtimes
  😎 A curated list of WebAssembly runtimes
  ☆60Updated 10 months ago
• Mcmartelle / deml
  The Directed Acyclic Graph Elevation Markup Language
  ☆79Updated 5 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• alurm / lua-match
  Minimalistic sum types and switches for Lua
  ☆52Updated 9 months ago
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆89Updated last week
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated last year
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆86Updated 5 years ago
• learn-decentralized-systems / Chotki
  An LSM database turned a CRDT database. Really fast counters!
  ☆16Updated 8 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago