frankmcsherry / COST
Single-threaded graph computation in Rust
☆243Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for COST
- Your worst case is our best case.☆139Updated 7 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 years ago
- High-throughput columnar serialization in Rust☆140Updated last week
- The core Strymon execution run-time☆29Updated 6 years ago
- Speculative Paxos replication protocol☆132Updated 8 years ago
- ☆79Updated 7 years ago
- A modular implementation of timely dataflow in Rust☆114Updated 3 weeks ago
- An implementation of differential dataflow using timely dataflow on Rust.☆161Updated last week
- Implementation of PageRank in timely dataflow☆72Updated 6 years ago
- Fast linearizability checker☆65Updated 9 years ago
- FlashX is a collection of big data analytics tools that perform data analytics in the form of graphs and matrices.☆233Updated 4 years ago
- A small set of useful probabilistic data structures.☆69Updated 6 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- Sample implementations using Naiad☆38Updated 9 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆515Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆210Updated last week
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 2 years ago
- A reactive query engine built on differential dataflow.☆315Updated 4 years ago
- A General-Purpose Counting Filter: Counting Quotient Filter☆125Updated last year
- Eris distributed transactions☆52Updated 6 years ago
- Diagnostic tools for timely dataflow computations☆42Updated 2 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Graphs analytics on collections of views!☆34Updated 11 months ago
- Streaming and Incremental Computation Framework☆225Updated last year
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆23Updated 6 years ago
- Visualization for Timely Dataflow and Differential Dataflow programs☆67Updated 3 years ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago