frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,093Updated this 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,877Updated 3 weeks ago
- A modular implementation of timely dataflow in Rust☆3,548Updated 3 weeks ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- ☆3,422Updated 4 years ago
- A model checker for implementing distributed systems.☆1,737Updated 4 months ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,641Updated 5 months ago
- High-performance runtime for data analytics applications☆3,004Updated 3 years ago
- Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.☆400Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆681Updated last week
- Jari's collection of interesting papers.☆496Updated last month
- MacroBase: A Search Engine for Fast Data☆671Updated 3 years ago
- Meaningful control of data in distributed systems.☆1,434Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,467Updated 2 years ago
- Differential dataflow for mere mortals☆527Updated 3 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,425Updated this week
- Immutable Ordered Key-Value Database Engine☆1,394Updated 5 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆498Updated last year
- The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL☆6,189Updated this week
- DataFusion has now been donated to the Apache Arrow project☆628Updated 6 years ago
- Represent large sets and maps compactly with finite state transducers.☆2,002Updated last year
- A lightweight Datalog engine in Rust☆846Updated last week
- BayesDB on SQLite. A Bayesian database table for querying the probable implications of data as easily as SQL databases query the data its…☆939Updated 2 years ago
- A framework for distributed systems verification, with fault injection☆7,265Updated this week
- RAPPOR: Privacy-Preserving Reporting Algorithms☆870Updated 3 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,647Updated last year
- Class materials for a distributed systems lecture series☆9,249Updated 9 months ago
- Cosette is an automated SQL solver.☆681Updated last year
- Collection of Papers On Database Management Systems☆225Updated 9 years ago
- Distributed Stream Processing☆1,486Updated 4 years ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago