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)
  ☆67Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆75Updated 5 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆74Updated last year
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated last year
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆251Updated 9 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆86Updated 5 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆102Updated last year
• fsaintjacques / recordlite
  ☆50Updated 3 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆53Updated last month
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆319Updated 2 years ago
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆50Updated 10 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• janderland / fql
  Foundation DB Query Language
  ☆145Updated 3 weeks ago
• vshymanskyy / muon
  µON - a compact and simple binary object notation
  ☆265Updated 2 years ago
• mycweb / mycelium
  Typed Formats for Storing & Transferring Data & Code
  ☆33Updated 3 weeks ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated last year
• triblespace / tribles-rust
  ☆32Updated last week
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 7 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆219Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 8 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆187Updated 3 weeks ago
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆106Updated last month