frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,090Updated last week
Alternatives and similar repositories for blog
Users that are interested in blog are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆2,863Updated this week
- A modular implementation of timely dataflow in Rust☆3,536Updated this week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- ☆3,423Updated 4 years ago
- High-performance runtime for data analytics applications☆3,003Updated 3 years ago
- A model checker for implementing distributed systems.☆1,734Updated 4 months ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,641Updated 4 months ago
- Meaningful control of data in distributed systems.☆1,417Updated last week
- Differential dataflow for mere mortals☆526Updated 3 years ago
- Single-threaded graph computation in Rust☆256Updated 6 years ago
- Fast web applications through dynamic, partially-stateful dataflow☆5,207Updated 4 years ago
- The Self-Driving Database Management System☆2,047Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆679Updated last month
- Jari's collection of interesting papers.☆496Updated 2 weeks ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,465Updated 2 years ago
- The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL☆6,172Updated this week
- A collection of TLA⁺ specifications of varying complexities.☆1,418Updated 2 weeks ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆844Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆497Updated last year
- Awesome list for Paxos and friends☆2,120Updated last year
- Temporal graph store abstraction layer.☆984Updated 6 months ago
- RAPPOR: Privacy-Preserving Reporting Algorithms☆869Updated 3 years ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- Represent large sets and maps compactly with finite state transducers.☆1,993Updated last year
- A lightweight Datalog engine in Rust☆844Updated 3 years ago
- Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.☆400Updated 5 years ago
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,546Updated 3 weeks ago
- C to Rust translator☆2,174Updated 6 years ago
- Prototype Bud runtime (Bloom Under Development)☆866Updated 5 years ago
- Collection of quotes on notation design & how it affects thought.☆1,895Updated 4 years ago