cda-group / arc
Programming Language for Continuous Deep Analytics
☆44Updated last year
Alternatives and similar repositories for arc:
Users that are interested in arc are comparing it to the libraries listed below
- TLA+ specifications related to Viewstamped Replication☆31Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 4 months ago
- ☆12Updated 5 years ago
- ☆26Updated 3 years ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- ☆18Updated 2 years ago
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- Rust crate for Substrait: Cross-Language Serialization for Relational Algebra☆60Updated this week
- Megaphone: Latency-conscious state migration☆19Updated 4 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆23Updated 3 years ago
- Reference implementations of sliding window aggregation algorithms☆43Updated last year
- Embeddable Aggregate Management System for Streams and Queries.☆88Updated 2 weeks ago
- Large object allocator for Rust☆12Updated last month
- An experimental columnar arena☆42Updated 2 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated last month
- A bit vector with the Rust standard library's portable SIMD API.☆38Updated last year
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- A rust implementation of lock free cuckoo hashmap☆67Updated 2 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago
- Performant implementations of various streaming algorithms, including Count–min sketch, Top k, HyperLogLog, Reservoir sampling.☆85Updated 5 months ago
- super simple in-memory blocking LSM for constant-size keys and values☆68Updated 3 weeks ago
- Viewstamped Replication for Rust☆64Updated last year
- An attempt at safe imperative GPU programming.☆28Updated last month
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆16Updated last week
- Adaptive Radix Tree in Rust☆64Updated 6 years ago
- Framework for simulating distributed applications☆97Updated 4 years ago
- SQL Benchmark derived from TPC-DS☆15Updated last year
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆23Updated 11 months ago