frankmcsherry / blogLinks
Some notes on things I find interesting and important.
☆2,072Updated 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,751Updated this week
- A modular implementation of timely dataflow in Rust☆3,467Updated this week
- ☆3,427Updated 4 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,635Updated 3 weeks ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- A model checker for implementing distributed systems.☆1,665Updated last month
- High-performance runtime for data analytics applications☆3,005Updated 3 years ago
- Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.☆6,029Updated this week
- Differential dataflow for mere mortals☆522Updated 3 years ago
- Distributed Stream Processing☆1,482Updated 4 years ago
- Fast web applications through dynamic, partially-stateful dataflow☆5,124Updated 3 years ago
- HeavyDB (formerly MapD/OmniSciDB)☆3,014Updated last week
- ZetaSQL - Analyzer Framework for SQL☆2,406Updated last week
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆836Updated 3 years ago
- DataFusion has now been donated to the Apache Arrow project☆628Updated 6 years ago
- A lightweight Datalog engine in Rust☆826Updated 3 years ago
- The P programming language.☆3,383Updated this week
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- MacroBase: A Search Engine for Fast Data☆668Updated 2 years ago
- C to Rust translator☆2,170Updated 6 years ago
- the champagne of beta embedded databases☆8,544Updated last month
- Immutable Ordered Key-Value Database Engine☆1,380Updated 5 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,441Updated last year
- A new arguably faster implementation of Apache Spark from scratch in Rust☆2,233Updated 3 years ago
- Cosette is an automated SQL solver.☆676Updated 6 months ago
- ActorDB distributed SQL database☆1,891Updated 2 years ago
- Black-box transactional safety checker based on cycle detection☆668Updated last month
- Jari's collection of interesting papers.☆493Updated 3 weeks ago
- Redis re-implemented in Rust.☆1,793Updated last year
- Single-threaded graph computation in Rust☆251Updated 6 years ago