Alternatives and similar repositories for katara

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

• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆171Updated last week
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆128Updated this week
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆129Updated 4 months ago
• lord / anchors
  self adjusting computations in rust
  ☆135Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• josephg / eg-walker-reference
  Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.
  ☆149Updated 3 weeks ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• scality / elmerfs
  ☆101Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆31Updated 3 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆217Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• stanford-futuredata / Uniserve
  A runtime implementation of data-parallel actors.
  ☆38Updated 3 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆230Updated last week
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• cfallin / weval
  ☆172Updated 8 months ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆80Updated 3 years ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆238Updated 2 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆214Updated 3 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• josephg / editing-traces
  Real world text editing traces for benchmarking CRDT and Rope data structures
  ☆49Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆125Updated 3 years ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆51Updated 2 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆27Updated this week