frankmcsherry / COSTLinks
Single-threaded graph computation in Rust
☆251Updated 6 years ago
Alternatives and similar repositories for COST
Users that are interested in COST are comparing it to the libraries listed below
Sorting:
- Your worst case is our best case.☆138Updated 8 years ago
- High-throughput columnar serialization in Rust☆179Updated this week
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆89Updated 6 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆518Updated 3 years ago
- Implementation of PageRank in timely dataflow☆74Updated 6 years ago
- The core Strymon execution run-time☆29Updated 7 years ago
- A small set of useful probabilistic data structures.☆69Updated 7 years ago
- FlashX is a collection of big data analytics tools that perform data analytics in the form of graphs and matrices.☆233Updated 5 years ago
- Fast linearizability checker☆66Updated 10 years ago
- A modular implementation of timely dataflow in Rust☆118Updated this week
- Speculative Paxos replication protocol☆130Updated 8 years ago
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆79Updated 7 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆73Updated 7 years ago
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆212Updated 6 months ago
- A scalable, fast, consistent graph store☆213Updated 8 years ago
- Streaming and Incremental Computation Framework☆239Updated 2 years ago
- A General-Purpose Counting Filter: Counting Quotient Filter☆127Updated last year
- A lightweight Datalog engine in Rust☆57Updated last month
- ☆82Updated 7 years ago
- Big data spreadsheet☆104Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆172Updated 2 weeks ago
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 9 years ago
- A Persistent Map Implementation based on Hash Array Mapped Tries☆175Updated last year
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- ☆46Updated 7 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- Sample implementations using Naiad☆39Updated 10 years ago
- Verifies the linearizability of experimentally accessible histories.☆405Updated 4 months ago
- ☆180Updated 7 years ago