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,892Updated last month
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,557Updated last month
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• heathermiller / dist-prog-book
  ☆3,422Updated 4 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,755Updated 5 months ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,643Updated 6 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆684Updated 3 weeks ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,431Updated 3 weeks ago
• jarikoi / interesting-papers
  Jari's collection of interesting papers.
  ☆496Updated last month
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆257Updated 6 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,046Updated 6 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆845Updated 3 years ago
• weld-project / weld
  High-performance runtime for data analytics applications
  ☆3,003Updated 3 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!
  ☆501Updated last year
• 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,470Updated 2 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆528Updated 3 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆850Updated 3 weeks ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,898Updated 5 years ago
• BurntSushi / fst
  Represent large sets and maps compactly with finite state transducers.
  ☆2,018Updated last year
• uwdb / Cosette
  Cosette is an automated SQL solver.
  ☆681Updated last year
• p-org / P
  The P programming language.
  ☆3,535Updated 2 weeks ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,596Updated 3 weeks ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆612Updated 6 months ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,654Updated 7 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,126Updated 2 weeks ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆176Updated last month
• copyconstruct / library
  A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…
  ☆566Updated 6 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆567Updated 2 years ago
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆224Updated 9 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,209Updated 7 years ago