Alternatives and similar repositories for katara

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

• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆176Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆146Updated last month
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 4 years ago
• cfallin / weval
  ☆174Updated 3 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆227Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated 11 months ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆94Updated 3 years ago
• scality / elmerfs
  ☆104Updated 3 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆246Updated 2 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆64Updated 7 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 weeks ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated 2 years ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆32Updated 9 months ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 11 months ago
• flavio / hermit-wasm
  A Unikernel running WebAssembly code
  ☆52Updated 2 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆62Updated this week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 6 months ago
• harp-lab / gdlog
  ☆87Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆232Updated 2 weeks ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆265Updated this week
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆213Updated 3 years ago
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆213Updated 3 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆81Updated 9 months ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆176Updated 2 weeks ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆63Updated last week
• unum-cloud / UDisk
  The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…
  ☆76Updated 2 years ago
• jamii / jams
  ☆183Updated 6 months ago