frankmcsherry / COST
Single-threaded graph computation in Rust
☆244Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for COST
- Your worst case is our best case.☆139Updated 7 years ago
- High-throughput columnar serialization in Rust☆140Updated 3 weeks ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 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
- An implementation of differential dataflow using timely dataflow on Rust.☆162Updated last week
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆515Updated 2 years ago
- The core Strymon execution run-time☆29Updated 6 years ago
- A modular implementation of timely dataflow in Rust☆114Updated last week
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- Speculative Paxos replication protocol☆132Updated 8 years ago
- Streaming and Incremental Computation Framework☆225Updated last year
- ☆79Updated 7 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- Implementation of PageRank in timely dataflow☆73Updated 6 years ago
- Eris distributed transactions☆52Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- Fast linearizability checker☆66Updated 9 years ago
- A small set of useful probabilistic data structures.☆69Updated 6 years ago
- Sample implementations using Naiad☆38Updated 9 years ago
- A reactive query engine built on differential dataflow.☆315Updated 4 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆23Updated 6 years ago
- Simple baselines for "Learned Indexes"☆159Updated 6 years ago
- A General-Purpose Counting Filter: Counting Quotient Filter☆126Updated last year
- Order-preserving key encoder☆122Updated 4 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 2 years ago
- SIMD algorithms for integer compression via bitpacking. This crate is a port of a C library called simdcomp.☆273Updated 5 months ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆60Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago