Alternatives and similar repositories for blog

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

• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,689Updated last week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,053Updated 7 years ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,433Updated last week
• heathermiller / dist-prog-book
  ☆3,427Updated 4 years ago
• weld-project / weld
  High-performance runtime for data analytics applications
  ☆3,000Updated 2 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,631Updated this week
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,632Updated this week
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,405Updated last year
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,348Updated last month
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,396Updated last month
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆820Updated 3 years ago
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,868Updated 7 months ago
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆5,979Updated this week
• jameysharp / corrode
  C to Rust translator
  ☆2,169Updated 6 years ago
• WallarooLabs / wally
  Distributed Stream Processing
  ☆1,480Updated 4 years ago
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆490Updated last week
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 6 months ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,655Updated 6 years ago
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,037Updated last week
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆831Updated 3 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,842Updated 2 years ago
• redox-os / tfs
  Mirror of https://gitlab.redox-os.org/redox-os/tfs
  ☆2,943Updated last year
• apache / datafusion-sqlparser-rs
  Extensible SQL Lexer and Parser for Rust
  ☆3,060Updated this week
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,116Updated 3 years ago
• spacejam / sled
  the champagne of beta embedded databases
  ☆8,463Updated this week
• project-oak / oak
  Meaningful control of data in distributed systems.
  ☆1,361Updated this week
• seppo0010 / rsedis
  Redis re-implemented in Rust.
  ☆1,789Updated 11 months ago
• Randommood / Strangeloop2015
  Architectural patterns of resilient distributed systems
  ☆1,258Updated 7 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆662Updated last week