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,621Updated this week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,342Updated this week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,051Updated 7 years ago
• heathermiller / dist-prog-book
  ☆3,431Updated 3 years ago
• weld-project / weld
  High-performance runtime for data analytics applications
  ☆2,997Updated 2 years ago
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,392Updated last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,605Updated 3 months ago
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,346Updated 2 months ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,621Updated 5 months ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,031Updated 5 years ago
• MaterializeInc / materialize
  The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.
  ☆5,865Updated this week
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,058Updated 3 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆517Updated 2 years ago
• dremio / gandiva
  Vectorized processing for Apache Arrow
  ☆484Updated 2 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆806Updated 3 years ago
• EbTech / rust-algorithms
  Common data structures and algorithms in Rust
  ☆3,807Updated 9 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆647Updated 3 months ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,818Updated last year
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,315Updated 3 weeks ago
• jameysharp / corrode
  C to Rust translator
  ☆2,164Updated 5 years ago
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆488Updated last week
• andygrove / datafusion-archive
  DataFusion has now been donated to the Apache Arrow project
  ☆630Updated 5 years ago
• rajasekarv / vega
  A new arguably faster implementation of Apache Spark from scratch in Rust
  ☆2,235Updated 2 years ago
• mmstick / parallel
  This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel
  ☆1,197Updated 7 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆246Updated 6 years ago
• rShetty / awesome-distributed-systems
  Awesome list of distributed systems resources
  ☆1,582Updated 4 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆596Updated 8 months ago
• ept / hermitage
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,504Updated 3 months ago
• google / badwolf
  Temporal graph store abstraction layer.
  ☆983Updated last year
• google / rappor
  RAPPOR: Privacy-Preserving Reporting Algorithms
  ☆863Updated 2 years ago