frankmcsherry / blog
Some notes on things I find interesting and important.
☆1,988Updated 2 weeks ago
Alternatives and similar repositories for blog:
Users that are interested in blog are comparing it to the libraries listed below
- An implementation of differential dataflow using timely dataflow on Rust.☆2,668Updated this week
- A modular implementation of timely dataflow in Rust☆3,403Updated this week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 7 years ago
- A model checker for implementing distributed systems.☆1,618Updated 5 months ago
- ☆3,428Updated 4 years ago
- High-performance runtime for data analytics applications☆2,996Updated 2 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,626Updated 7 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,403Updated last year
- Differential dataflow for mere mortals☆520Updated 2 years ago
- A lightweight Datalog engine in Rust☆813Updated 3 years ago
- Immutable Ordered Key-Value Database Engine☆1,377Updated 5 years ago
- Distributed Stream Processing☆1,480Updated 3 years ago
- Highly-available Distributed Fault-tolerant Runtime☆2,836Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 5 months ago
- Represent large sets and maps compactly with finite state transducers.☆1,844Updated 6 months ago
- Black-box transactional safety checker based on cycle detection☆653Updated 3 weeks ago
- Meaningful control of data in distributed systems.☆1,349Updated this week
- A high-level distributed programming framework for Rust☆874Updated this week
- Fast web applications through dynamic, partially-stateful dataflow☆5,094Updated 3 years ago
- Convergent Replicated Data Types☆654Updated 9 years ago
- Jari's collection of interesting papers.☆490Updated last month
- Curated list of resources on testing distributed systems☆2,534Updated last week
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆829Updated 2 years ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,654Updated 6 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,338Updated last week
- Irmin is a distributed database that follows the same design principles as Git☆1,875Updated 2 weeks ago
- Class materials for a distributed systems lecture series☆9,159Updated 2 weeks ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,549Updated 5 months ago
- ZetaSQL - Analyzer Framework for SQL☆2,376Updated 4 months ago
- a collection of well-tested, serializable CRDTs for Rust☆1,423Updated 9 months ago