frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,079Updated 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,768Updated last week
- A modular implementation of timely dataflow in Rust☆3,488Updated 3 weeks ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,057Updated 8 years ago
- High-performance runtime for data analytics applications☆3,003Updated 3 years ago
- ☆3,427Updated 4 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,637Updated last month
- A model checker for implementing distributed systems.☆1,687Updated last week
- Jari's collection of interesting papers.☆494Updated last week
- Black-box transactional safety checker based on cycle detection☆668Updated 2 months ago
- ZetaSQL - Analyzer Framework for SQL☆2,415Updated last month
- The Self-Driving Database Management System☆2,047Updated 6 years ago
- Single-threaded graph computation in Rust☆251Updated 6 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆838Updated 3 years ago
- Differential dataflow for mere mortals☆522Updated 3 years ago
- Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.☆6,067Updated this week
- Fast web applications through dynamic, partially-stateful dataflow☆5,132Updated 3 years ago
- MacroBase: A Search Engine for Fast Data☆669Updated 2 years ago
- A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means☆2,083Updated 5 months ago
- The P programming language.☆3,412Updated this week
- Interesting readings and talks on computer science☆714Updated 6 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,386Updated this week
- Cosette is an automated SQL solver.☆677Updated 7 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,444Updated 2 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 9 months ago
- Represent large sets and maps compactly with finite state transducers.☆1,889Updated 10 months ago
- Awesome list for Paxos and friends☆2,101Updated last year
- Immutable Ordered Key-Value Database Engine☆1,382Updated 5 years ago
- A low-latency, cloud-native KVS☆705Updated 4 years ago
- HeavyDB (formerly MapD/OmniSciDB)☆3,018Updated last month
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆910Updated 5 years ago