Alternatives and similar repositories for librdx

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

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• gritzko / citrea-model
  A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)
  ☆67Updated 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
• yamafaktory / hypergraphz
  HypergraphZ - A Hypergraph Implementation in Zig
  ☆104Updated 2 weeks ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆89Updated 11 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…
  ☆82Updated this week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆85Updated 5 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• fsaintjacques / recordlite
  ☆50Updated 2 months ago
• jmillikin / idol
  Idol, an IDL and binary encoding for zero-copy local IPC
  ☆50Updated 9 months ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆53Updated last week
• bluefishjs / bluefish
  ☆75Updated 6 months ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆47Updated 6 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆100Updated last year
• jamii / zest
  ☆112Updated 3 months ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated last month
• cfallin / weval
  ☆172Updated 8 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated last year
• worm-blossom / macromania
  Macro-based string templating.
  ☆22Updated last month
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 6 months ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 7 months ago
• stuffmatic / chebyshev-calculator
  A web app that generates code for efficiently approximating mathematical functions of one variable.
  ☆96Updated 9 months ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆129Updated 2 years ago
• janderland / fql
  Foundation DB Query Language
  ☆143Updated this week
• williamw520 / toposort
  Topological sort library in Zig
  ☆94Updated 3 months ago