frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,093Updated 3 weeks ago
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,827Updated last week
- A modular implementation of timely dataflow in Rust☆3,516Updated 2 weeks ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,052Updated 8 years ago
- ☆3,429Updated 4 years ago
- High-performance runtime for data analytics applications☆3,000Updated 3 years ago
- A model checker for implementing distributed systems.☆1,709Updated 2 months ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,638Updated 3 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,455Updated 2 years ago
- Meaningful control of data in distributed systems.☆1,405Updated this week
- Differential dataflow for mere mortals☆525Updated 3 years ago
- Black-box transactional safety checker based on cycle detection☆674Updated 5 months ago
- The Self-Driving Database Management System☆2,048Updated 6 years ago
- Fast web applications through dynamic, partially-stateful dataflow☆5,182Updated 3 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,413Updated last month
- Single-threaded graph computation in Rust☆254Updated 6 years ago
- Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.☆400Updated 5 years ago
- C to Rust translator☆2,177Updated 6 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆839Updated 3 years ago
- Jari's collection of interesting papers.☆496Updated 2 months ago
- DataFusion has now been donated to the Apache Arrow project☆628Updated 6 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆494Updated 11 months ago
- A lightweight Datalog engine in Rust☆841Updated 3 years ago
- Represent large sets and maps compactly with finite state transducers.☆1,971Updated last year
- Cosette is an automated SQL solver.☆679Updated 9 months ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.☆6,135Updated this week
- Collection of quotes on notation design & how it affects thought.☆1,894Updated 4 years ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆908Updated 5 years ago
- BayesDB on SQLite. A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data its…☆936Updated last year
- a collection of well-tested, serializable CRDTs for Rust☆1,482Updated last year