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,680Updated last week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,416Updated 3 weeks ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,054Updated 7 years ago
• heathermiller / dist-prog-book
  ☆3,428Updated 4 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,621Updated 6 months ago
• weld-project / weld
  High-performance runtime for data analytics applications
  ☆2,996Updated 2 years ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,630Updated last week
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,345Updated 3 weeks ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• project-oak / oak
  Meaningful control of data in distributed systems.
  ☆1,356Updated this week
• 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,403Updated last year
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆831Updated 3 years ago
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,008Updated this week
• jameysharp / corrode
  C to Rust translator
  ☆2,167Updated 6 years ago
• tlaplus / tlaplus
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
  ☆2,415Updated this week
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆248Updated 6 years ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,557Updated last month
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,040Updated 5 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 5 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆656Updated last week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆819Updated 3 years ago
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,109Updated 3 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,838Updated 2 years ago
• uber-archive / sql-differential-privacy
  Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.
  ☆396Updated 5 years ago
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,859Updated 7 months ago
• p-org / P
  The P programming language.
  ☆3,274Updated this week
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆490Updated this week
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,162Updated last month
• bloom-lang / bud
  Prototype Bud runtime (Bloom Under Development)
  ☆860Updated 4 years ago
• rajasekarv / vega
  A new arguably faster implementation of Apache Spark from scratch in Rust
  ☆2,229Updated 3 years ago