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,788Updated last week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,491Updated last week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,054Updated 8 years ago
• weld-project / weld
  High-performance runtime for data analytics applications
  ☆3,002Updated 3 years ago
• heathermiller / dist-prog-book
  ☆3,428Updated 4 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,046Updated 6 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,692Updated 3 weeks ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,638Updated last month
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆669Updated 3 months ago
• project-oak / oak
  Meaningful control of data in distributed systems.
  ☆1,384Updated last 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,447Updated 2 years ago
• uwdb / Cosette
  Cosette is an automated SQL solver.
  ☆678Updated 8 months ago
• uber-archive / sql-differential-privacy
  Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.
  ☆400Updated 5 years ago
• MaterializeInc / materialize
  Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
  ☆6,082Updated this week
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆714Updated 7 months ago
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,137Updated 3 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆838Updated 3 years ago
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆222Updated 8 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!
  ☆494Updated 9 months ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,354Updated 2 weeks 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,613Updated 10 months ago
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆494Updated last month
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,055Updated 2 months ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,569Updated last week
• dremio / gandiva
  Vectorized processing for Apache Arrow
  ☆485Updated 3 years ago
• cmu-db / noisepage
  Self-Driving Database Management System from Carnegie Mellon University
  ☆1,753Updated 2 years ago
• google / zetasql
  ZetaSQL - Analyzer Framework for SQL
  ☆2,419Updated 2 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,393Updated 2 weeks ago
• andygrove / datafusion-archive
  DataFusion has now been donated to the Apache Arrow project
  ☆627Updated 6 years ago
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆1,942Updated 11 months ago