frankmcsherry / blog
Some notes on things I find interesting and important.
☆1,975Updated last month
Related projects ⓘ
Alternatives and complementary repositories for blog
- An implementation of differential dataflow using timely dataflow on Rust.☆2,586Updated last week
- A modular implementation of timely dataflow in Rust☆3,299Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- High-performance runtime for data analytics applications☆2,996Updated 2 years ago
- The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.☆5,809Updated this week
- ☆3,425Updated 3 years ago
- A model checker for implementing distributed systems.☆1,579Updated last month
- Fast web applications through dynamic, partially-stateful dataflow☆5,003Updated 3 years ago
- Differential dataflow for mere mortals☆516Updated 2 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,618Updated 3 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year
- A new arguably faster implementation of Apache Spark from scratch in Rust☆2,233Updated 2 years ago
- Meaningful control of data in distributed systems.☆1,322Updated this week
- a collection of well-tested, serializable CRDTs for Rust☆1,375Updated 5 months ago
- A planet scale, highly available, transactional database built on CRDT technology☆837Updated last year
- Black-box transactional safety checker based on cycle detection☆643Updated last month
- BayesDB on SQLite. A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data its…☆923Updated last year
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- A collection of TLA⁺ specifications of varying complexities☆1,291Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,803Updated last year
- Vectorized processing for Apache Arrow☆486Updated 2 years ago
- ZetaSQL - Analyzer Framework for SQL☆2,325Updated last week
- ActorDB distributed SQL database☆1,895Updated 2 years ago
- DataFusion has now been donated to the Apache Arrow project☆631Updated 5 years ago
- Immutable Ordered Key-Value Database Engine☆1,377Updated 4 years ago
- Distributed Stream Processing☆1,480Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated 3 weeks ago
- Programming Language Theory λΠ☆5,236Updated last year
- SIMD for humans☆1,563Updated last year