frankmcsherry / blog
Some notes on things I find interesting and important.
☆1,974Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for blog
- An implementation of differential dataflow using timely dataflow on Rust.☆2,581Updated last week
- A modular implementation of timely dataflow in Rust☆3,289Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- A model checker for implementing distributed systems.☆1,572Updated last month
- High-performance runtime for data analytics applications☆2,995Updated 2 years ago
- ☆3,425Updated 3 years ago
- Differential dataflow for mere mortals☆515Updated 2 years ago
- Immutable Ordered Key-Value Database Engine☆1,377Updated 4 years ago
- C to Rust translator☆2,156Updated 5 years ago
- The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.☆5,798Updated this week
- Prototype Bud runtime (Bloom Under Development)☆855Updated 4 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,377Updated last year
- Fast web applications through dynamic, partially-stateful dataflow☆4,999Updated 3 years ago
- Highly-available Distributed Fault-tolerant Runtime☆2,801Updated last year
- ActorDB distributed SQL database☆1,894Updated last year
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,653Updated 6 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,619Updated 2 months ago
- Redis re-implemented in Rust.☆1,774Updated 5 months ago
- a collection of well-tested, serializable CRDTs for Rust☆1,371Updated 4 months ago
- SIMD for humans☆1,559Updated last year
- Convergent Replicated Data Types☆651Updated 8 years ago
- Functional, persistent, off-heap, high performance data structure☆1,191Updated 6 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated last week
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- Architectural patterns of resilient distributed systems☆1,263Updated 7 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 5 years ago
- Temporal graph store abstraction layer.☆983Updated last year
- Open Machine Intelligence Framework for Hackers. (GPU/CPU)☆5,558Updated 7 months ago
- Programming Language Theory λΠ☆5,235Updated last year
- MacroBase: A Search Engine for Fast Data☆661Updated last year